pure

Applicative

pureEval

Applicative