/* Testing term structures:
 *  flexible applications -- test2
 *    a. flexible application as head argument
 *    b. flexible application as goal or application argument
 */

sig fapp.

kind i type.

type a     i.
type b     i.
type appl  i -> i.
type foo   i -> o.

