Does the Either type constructor contain a phantom type each for the left/right case?

Question

AFAIK, only types are inhabited by values in Haskell, not type constructors. Either is a binary type constructor of kind * -> * -> *. Left and Right both apply this type constructor to a single type, which is provided by the passed value. Doesn't that mean that in both cases Either is merely partially applied and thus still a type constructor awaiting the missing type argument?

let x = Right 'x' -- Either a Char

x has the type Either a Char. I would assume that this type would have the kind * -> *. This is clearly a polymorphic type, not a ground one. Yet Either a Char can be inhabited by values like 'x'.

My suspicion is that the type variable a is a phantom type for the Right case resp. b for Left. I know phantom types in connection with Const, where the respective type variable isn't used at all. Am I on the right tack?

Answer 1

AFAIK, only types are inhabited by values in Haskell, not type constructors.

Spot on.

Left and Right both apply this type constructor to a single type

You can't say that. Left and Right don't live in the type language at all, so they don't apply anything to any types, they only apply themselves to values.

x has the type Either a Char. I would assume that this type would have the kind * -> *

You need to distinguish between function/constructor arguments, and type variables. It's basically the distinction between free and bound variables. Either a Char still has kind *, not * -> *, because it is already applied to a. Yes, that's a type variable, but it still is an argument that's already applied.

Yet Either a Char can be inhabited by values like 'x'.

Not quite – it can be inhabited by values like Right 'x'.

My suspicion is that the type variable a is a phantom type for the Right case resp. b for Left

kind of, but I wouldn't call it “phantom” because you can't just count out Left or Right. At least not unless you choose Either Void b, but in that case you don't have the a variable.