| Interface | Description |
|---|---|
| Applicative<CRE> | |
| Monad<CRE> | |
| MonadPlus<CRE> | |
| MonadZero<CRE> |
A filterable monad
The zero() operator is used to replace supplied HKT with it's zero / empty equivalent when filtered out
|
| Traverse<CRE> | |
| TraverseBySequence<CRE> | |
| TraverseByTraverse<CRE> |