module Model.Kind
  ( Kinded(..)
  ) where

import Data.String (IsString)

-- | Types with a self-describing short name for their type
class Kinded a where
  kindOf :: IsString s => a -> s