1 2 3 4 5 6 7
module T9605 where f1 :: Monad m => m Bool f1 = undefined f2 :: Monad m => m Bool f2 = f1 undefined