haskell-src-exts-1.16.0: tests/examples/RCategory3.hs.prettyprinter.golden

{-# LANGUAGE TypeFamilies, ConstraintKinds #-}
module Main (main) where
 
instance RCategory (->) where
        type RCategoryCtxt (->) a a = ()