-app :: (Integer -> <e1> Integer) -> <e1> ((Integer -> <e2> Integer) -> <e2> Integer)\r
-app f = do\r
- a = f 1\r
- \g -> g a\r
- \r
-main = app (\x -> x) (\x -> x)\r
---\r
+app :: (Integer -> <e1> Integer) -> <e1> ((Integer -> <e2> Integer) -> <e2> Integer)
+app f = do
+ a = f 1
+ \g -> g a
+
+main = app (\x -> x) (\x -> x)
+--