{-# LANGUAGE TypeFamilies, ConstraintKinds #-}
module Main (main) where
import GHC.Prim

class RCategory cat where
        type RCategoryCtxt cat a b :: Constraint