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