module T9230 where test :: Monad m => m () test = do return ()