hlint
Hint.Lambda
lambdaHint :: DeclHint
lambdaDecl :: Decl_ -> [Idea]
etaReduce :: [Pat_] -> Exp_ -> ([Pat_], Exp_)
lambdaExp :: Maybe Exp_ -> Exp_ -> [Idea]
fromLambda :: Exp_ -> ([Pat_], Exp_)