The declaration of the Proxy type looks like this: data Proxy a = Proxy. This lets you create a value of type Proxy a without having any particular value of type a.