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