(COMMENT
  This example does not terminate with polymorphic types,
  but every (finite) monomorphic instance does. There is
  no complete (finite) monomorphic instance, though.
)
(VAR x y)
(RULES
  ap(ap(g,x),y) -> y
  ap(f,x) -> ap(f,app(g,x))
)