/* Testing clause structures:                       
 *  generic goals
 *    a. universal quantified term variables
 *    b. universal quantified predicate name
 */

sig genericgoal.

kind i    type.
type foo  i -> i -> o.
