haskell-src-exts-1.24.0: tests/examples/RCategory3.hs

{-# LANGUAGE TypeFamilies, ConstraintKinds #-}

instance RCategory (->) where
  type RCategoryCtxt (->) a a = ()