ga_reify = arr
instance ArrowLoop a => GArrowLoop a (,) () where
- ga_loopl = loop
- ga_loopr f = loop (ga_swap >>> f >>> ga_swap)
+ ga_loopr = loop
+ ga_loopl f = loop (ga_swap >>> f >>> ga_swap)
instance ArrowApply a => GArrowApply a (,) () a where
ga_applyl = ga_swap >>> app