Test.TypeSpec.Internal.Either

type family FromLeft (e :: Either a b) :: a where ...