ghci> :t x x :: Exp ghci> x LamE [VarP x_0] (LamE [VarP x] (VarE x_0)) ghci>