data.ulift
source
Functorial action.
Embedding of pure values.
Applicative sequencing.
Monadic bind.