{-# LANGUAGE TypeFamilies, ConstraintKinds #-}
module Main (main) where

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