haskell-src-exts-1.18.0: tests/examples/RCategory2.hs.prettyprinter.golden

{-# LANGUAGE TypeFamilies, ConstraintKinds #-}
import GHC.Prim

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