Functor has map, Monad has bind, what has filter

Question

Functor gives us map (fmap). Monad gives us flatmap (bind).

What is the Haskell name for the the typeclass that provides filter?

Answer 1

Three plausible candidates are Witherable, Alternative, and MonadPlus.