glaebhoerl

{-# LANGUAGE PolyKinds, GADTs, DataKinds, TypeFamilies, TypeOperators,
  MultiParamTypeClasses, FlexibleContexts, FlexibleInstances,
  UndecidableInstances #-}

module GHC_Query where

data Proxy (t :: k) = Proxy
data KindProxy (t :: *) = KindProxy  -- a type-level proxy for kinds

data Nat = Z | S Nat