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