Evaluable

types

evalAlways

Deferrable

evalOnce

Deferrable

extract

Comonad