Control.Applicative.Lift

Lifting an applicative

data Lift f a

unLift

mapLift

elimLift

Collecting errors

type Errors e

runErrors

failure

eitherToErrors