module Type
  ( Type
  , TypeError
  , ErrorMessage(..)
  ) where

import Data.Kind
import GHC.TypeLits