Data.Singletons.Prelude.Either
Either
singletondata family Sing (a :: k)
type SEither
Data.Either
type family Either_ (a :: TyFun a c -> Type) (a :: TyFun b c -> Type) (a :: Either a b) :: c where ...
type family PartitionEithers (a :: [Either a b]) :: ([a], [b]) where ...
data LeftSym0 l
type LeftSym1 t
data RightSym0 l
type RightSym1 t
data Either_Sym0 l
data Either_Sym1 l l
data Either_Sym2 l l l
type Either_Sym3 t t t
data LeftsSym0 l
type LeftsSym1 t
data RightsSym0 l
type RightsSym1 t
data IsLeftSym0 l
type IsLeftSym1 t
data IsRightSym0 l
type IsRightSym1 t