{-# language PolyKinds #-}
{-# language RoleAnnotations #-}
{-# language StandaloneKindSignatures #-}

module Rel8.Schema.Name where

import Data.Kind ( Type )

type Name :: k -> Type
type role Name nominal
data Name a