{-# LANGUAGE NoMonomorphismRestriction #-}
import Lambda
import Prelude ( (+), ($), Int )

test1 :: (Lambda l) => l Int
test1 = app (lam $ \x ->  (const 3)) (const 2)