-------------------------------------------------------------------------
-- Used internally by the compiler, subject to change without notice!!
-newtype PGArrow g x y = PGArrowD { unG :: GArrowSTKCL g => g x y }
+newtype PGArrow g x y = PGArrowD { unG :: GArrowCopyDropSwapLoop g => g x y }
pga_id :: forall g x. PGArrow g x x
pga_id = PGArrowD { unG = Control.Category.id }