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