1{-# LANGUAGE TypeFamilies, ConstraintKinds #-} 2 3import GHC.Prim 4 5class RCategory cat where 6 type RCategoryCtxt cat a b :: Constraint 7