haskell-src-exts-1.16.0: tests/examples/RCategory2.hs

{-# LANGUAGE TypeFamilies, ConstraintKinds #-}

import GHC.Prim

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