Haskell - фильтр типов классов

Question

Существует ли класс типов, который абстрагирует функцию filter?

Я думаю о чем-то вроде

class Filterable t where
  filter :: (a -> Bool) -> t a -> t a

Если это не так, есть ли явная причина дляэто?

Answer 1

Да, пакет обеспечивает Filterable, с несколькими экземплярами для распространенных типов.

Answer 2

Существует метод mfilter в Control.Monad ( ссылка )

mfilter :: MonadPlus m => (a -> Bool) -> m a -> m a