1{-# LANGUAGE TypeFamilies, ConstraintKinds #-}
2
3instance RCategory (->) where
4        type RCategoryCtxt (->) a a = ()
5