Evaluable

types

empty

MonadFilter MonoidK

extract

Comonad