module Proarrow.Object ( Obj, obj, src, tgt, module Proarrow.Object ) where import Proarrow.Core (CategoryOf(..), Obj, obj, src, tgt) class Ob a => Ob' a instance Ob a => Ob' a type VacuusOb k = forall a. Ob' (a :: k)