Closed snowleopard closed 1 year ago
Use DerivingVia to derive all ExceptT instances.
DerivingVia
ExceptT
Also, make the Applicative instance of ComposeEither more interesting: start short-circuiting the computation to skip executing unnecessary effects via the Selective f constraint.
Applicative
ComposeEither
Selective f
Use
DerivingViato derive allExceptTinstances.Also, make the
Applicativeinstance ofComposeEithermore interesting: start short-circuiting the computation to skip executing unnecessary effects via theSelective fconstraint.