typelevel-1.0.4: Useful type level operations (type families and related operators).
Type.Either
type family IsLeft a :: Bool Source
Equations
type family IsRight a :: Bool Source
type family FromRight a Source
type family FromLeft a Source