Control.Applicative.Lift

data Lift f a

unLift

Collecting errors

type Errors e

failure