úÎs7)Lifting bind into a monad. Often denoted  concatMapM. )Lifting bind into a monad. Often denoted  concatMapM. Existential quantification. Universal quantification. UtilityTM-0.0.3Control.Monad.TM.=<<..>>=.anyMallM