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