+--instance (GArrowSwap g (**) u, GArrowCopy g (**) u, GArrowDrop g (**) u, GArrowLoop g (**) u)
+-- => GArrowLoop (Polynomial g (**) u t) (**) u
+-- where
+-- ga_loopl = error "FIXME: GArrowFullyEnriched loopl not implemented"
+-- ga_loopr = error "FIXME: GArrowFullyEnriched loopl not implemented"
+
+instance GArrowEnclosure q g (**) u => GArrowEnclosure (Polynomial q (**) u t) g (**) u where
+ enclose f = N (enclose f)
+