1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
-- c.f #3613 module T3613 where import Control.Monad foo :: Maybe () foo = return () bar :: IO () bar = return () fun1 = let fooThen m = foo>> m in fooThen (bar>> undefined) fun2 = let fooThen m = foo>> m in fooThen (do {bar; undefined})