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