Servant

data Proxy k t