planet-mitchell-0.0.0: src/Type.hs

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

import Data.Kind
import GHC.TypeLits