{-# htermination filterM :: Monad m => (a -> m Bool) -> [a] -> m [a] #-} import Monad