Member

free

Monad

Free

MonadPlus

Choice

map

Free Impure Pure

modify

State