{-# LANGUAGE PolyKinds #-}

module Tim where

data Proxy (t:: k) = Proxy