:set -v0
:set prompt "λ. "
:def pf \str -> return $ ":! pointfree \"" ++ str ++ "\""