-
-
-
+------------------------------------------------------------------------
+-- Experimental, Not Yet Exported
+
+-- See Lindley, Wadler, and Yallop '08 -- except that here ga_force
+-- is primitive since there is no "arr" to define it in terms of.
+class GArrow g (**) u => GArrowStatic g (**) u (~>) where
+ ga_delay :: g a b -> g u (a~>b)
+ ga_force :: g u (a~>b) -> g a b
+ -- "ga_static/force_delay" forall a . force (delay a) = a
+ -- "ga_static/delay_force" forall a . delay (force a) = a