ghc/compiler/ilxGen/tests/test14.hs

   1 class  EMonad m  where
   2     aaaaa       :: m a -> (a -> m b) -> m b
   3     bbbbb        :: m a -> m b -> m b
   4
   5     bbbbb m k      =  aaaaa m (\_ -> k)
   6                   -- = \M \A \B -> \m:(M A) -> \k:(M B) -> aaaaa M A B m (\_:A -> k: M B)
   7                   --   Free types must include "A"!!!
   8
   9 main = putStr "hello world\n"
  10
  11