úÎ>õ)Lifting bind into a monad. Often denoted  concatMapM. )Lifting bind into a monad. Often denoted  concatMapM. Existential quantification. Universal quantification. 'Find an element satisfying a predicate UtilityTM-0.0.4Control.Monad.TM.=<<..>>=.anyMallMfindM