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