--- /dev/null
+class EMonad m where
+ aaaaa :: m a -> (a -> m b) -> m b
+ bbbbb :: m a -> m b -> m b
+
+ bbbbb m k = aaaaa m (\_ -> k)
+ -- = \M \A \B -> \m:(M A) -> \k:(M B) -> aaaaa M A B m (\_:A -> k: M B)
+ -- Free types must include "A"!!!
+
+main = putStr "hello world\n"
+
+