module Rebase.Data.Kind ( module Data.Kind ) where import Data.Kind