empty
MonadFilter
MonoidK
eval
Deferrable
evalOnce
Memoizable
extract
Comonad
Ops