catch (throw "hello ") (\m. (m@m))

