module Data.Kind(Type, Constraint) where
import Prelude()
import Primitives