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