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