Type.Family.Either

type family EitherC ec :: Constraint

type family IsLeft a :: Bool

type family IsRight a :: Bool

leftCong

rightCong

leftNotRight

type family f <$> a :: Either m l

eitherFmapCong

type family f <&> a :: Either m l

eitherPamfCong

type family f <*> a :: Either m l

eitherApCong

type family a <|> b :: Either m k

eitherAltCong

type family FromLeft e :: k

type family FromRight e :: l

fromLeftCong

fromRightCong