These are chat archives for fthomas/refined
shapeless.LabelledGeneric. The macros in refined built just fine without that plugin
Either[P, T @@ P]) there is no indication what went wrong in the case for
Result a = Passed a | Failed aand refine* then returns
Either[Result, T @@ P]
Failed(And(Passed(a), Failed(b)))and know exactly if
bfailed, or both
Andevaluates both predicates?