{-# OPTIONS -Wall #-}
module M where

import Control.Monad.Identity
import Control.Monad

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