{-# OPTIONS -Wall #-}
module M where
import Control.Monad
import Control.Monad (forM_)

foo = forM_ [] (\_ -> return ()) :: IO ()