data K

data Linear z r c k

type family KMerge a b :: K

type family KRep a :: * -> *