module T3811g where f :: IO () f = do _ <- return () _ <- return ()