@@ -432,21 +432,21 @@ a ^>>?^? f = a ^>> Left ^|||^ f
432432a >>?! f = a >>> right f
433433
434434---
435−(>>?%) :: (ArrowChoice a, Monoid f)
435+(>>?%) :: (ArrowChoice a)
436436 => FallibleArrow a x f (b,b')
437437 -> (b -> b' -> c)
438438 -> FallibleArrow a x f c
439439a >>?% f = a >>?^ (uncurry f)
440440
441441---
442−(^>>?%) :: (ArrowChoice a, Monoid f)
442+(^>>?%) :: (ArrowChoice a)
443443 => (x -> Either f (b,b'))
444444 -> (b -> b' -> c)
445445 -> FallibleArrow a x f c
446446a ^>>?% f = arr a >>?^ (uncurry f)
447447
448448---
449−(>>?%?) :: (ArrowChoice a, Monoid f)
449+(>>?%?) :: (ArrowChoice a)
450450 => FallibleArrow a x f (b,b')
451451 -> (b -> b' -> (Either f c))
452452 -> FallibleArrow a x f c