fact' :: Expr
fact' = fst ((Parse.parse Parse.parseExpr "(\\f -> (\\x -> if (x == 0) then 1 else (x * (f (-1 + x)))))") !! 0)
fact' :: Expr
fact' = fst ((Parse.parse Parse.parseExpr "(\\f -> (\\x -> if (x == 0) then 1 else (x * (f (-1 + x)))))") !! 0)
fact' = fst ((Parse.parse Parse.parseExpr "(\\f -> (\\x -> if (x == 0) then 1 else (x * (f (-1 + x)))))") !! 0)