@@ -383,49 +383,49 @@ raiseAEmpty = arr (fromRight (const mempty) >>> Left)
383383
384384
385385-- | Execute the second arrow if the first succeeds
386−(>>?) :: (ArrowChoice a, Monoid failure)
386+(>>?) :: (ArrowChoice a)
387387 => FallibleArrow a x failure success
388388 -> FallibleArrow a success failure success'
389389 -> FallibleArrow a x failure success'
390390a >>? b = a >>> Left ^||| b
391391
392392-- | Execute the lifted second arrow if the first succeeds
393−(>>?^) :: (ArrowChoice a, Monoid failure)
393+(>>?^) :: (ArrowChoice a)
394394 => FallibleArrow a x failure success
395395 -> (success -> success')
396396 -> FallibleArrow a x failure success'
397397a >>?^ f = a >>^ Left ^|||^ Right . f
398398
399399-- | Execute the lifted second arrow if the first succeeds
400−(>>?^?) :: (ArrowChoice a, Monoid failure)
400+(>>?^?) :: (ArrowChoice a)
401401 => FallibleArrow a x failure success
402402 -> (success -> Either failure success')
403403 -> FallibleArrow a x failure success'
404404a >>?^? b = a >>> Left ^|||^ b
405405
406406-- | Execute the second arrow if the lifted first arrow succeeds
407−(^>>?) :: (ArrowChoice a, Monoid failure)
407+(^>>?) :: (ArrowChoice a)
408408 => (x -> Either failure success)
409409 -> FallibleArrow a success failure success'
410410 -> FallibleArrow a x failure success'
411411a ^>>? b = a ^>> Left ^||| b
412412
413413-- | Execute the lifted second arrow if the lifted first arrow succeeds
414−(^>>?^) :: (ArrowChoice a, Monoid failure)
414+(^>>?^) :: (ArrowChoice a)
415415 => (x -> Either failure success)
416416 -> (success -> success')
417417 -> FallibleArrow a x failure success'
418418a ^>>?^ f = arr $ a >>> right f
419419
420420-- | Execute the lifted second arrow if the lifted first arrow succeeds
421−(^>>?^?) :: (ArrowChoice a, Monoid failure)
421+(^>>?^?) :: (ArrowChoice a)
422422 => (x -> Either failure success)
423423 -> (success -> Either failure success')
424424 -> FallibleArrow a x failure success'
425425a ^>>?^? f = a ^>> Left ^|||^ f
426426
427427-- | Execute the second, non-fallible arrow if the first arrow succeeds
428−(>>?!) :: (ArrowChoice a, Monoid failure)
428+(>>?!) :: (ArrowChoice a)
429429 => FallibleArrow a x failure success
430430 -> a success success'
431431 -> FallibleArrow a x failure success'