Control.Applicative.Lift
data
Lift
f a
unLift
Collecting errors
type
Errors
e
failure