pure

Applicative

pureAttempt

Laws