ghc/interpreter/test/typechecker/t014.hs

   1 --!!! Leaving out signature in polymorphic recursion
   2
   3 data Expr a = App (Expr (b -> a)) (Expr b)
   4             | K a
   5
   6 --eval :: Expr a -> a
   7 eval (App f x) = (eval f) (eval x)
   8 eval (K x)     = x