Control.Plumbers.Monad

This module contains the plumbing variants of monad operators.

Documentation

(>=***) :: forall a b c d e f r' r'' m. Monad m => (a -> c -> e -> m r'') -> (b -> d -> f -> r'' -> m r') -> (a, b) -> (c, d) -> (e, f) -> m r'

(>=**&) :: forall a b c d e r' r'' m. Monad m => (a -> c -> e -> m r'') -> (b -> d -> e -> r'' -> m r') -> (a, b) -> (c, d) -> e -> m r'

(>=**>) :: forall a b c d e r' r'' m. Monad m => (a -> c -> m r'') -> (b -> d -> e -> r'' -> m r') -> (a, b) -> (c, d) -> e -> m r'

(>=**<) :: forall a b c d e r' r'' m. Monad m => (a -> c -> e -> m r'') -> (b -> d -> r'' -> m r') -> (a, b) -> (c, d) -> e -> m r'

(>=**^) :: forall a b c d e r' r'' m. Monad m => (a -> c -> m r'') -> (b -> d -> r'' -> m r') -> (a, b) -> (c, d) -> e -> m r'

(>=*&*) :: forall a b c d e r' r'' m. Monad m => (a -> c -> d -> m r'') -> (b -> c -> e -> r'' -> m r') -> (a, b) -> c -> (d, e) -> m r'

(>=*&&) :: forall a b c d r' r'' m. Monad m => (a -> c -> d -> m r'') -> (b -> c -> d -> r'' -> m r') -> (a, b) -> c -> d -> m r'

(>=*&>) :: forall a b c d r' r'' m. Monad m => (a -> c -> m r'') -> (b -> c -> d -> r'' -> m r') -> (a, b) -> c -> d -> m r'

(>=*&<) :: forall a b c d r' r'' m. Monad m => (a -> c -> d -> m r'') -> (b -> c -> r'' -> m r') -> (a, b) -> c -> d -> m r'

(>=*&^) :: forall a b c d r' r'' m. Monad m => (a -> c -> m r'') -> (b -> c -> r'' -> m r') -> (a, b) -> c -> d -> m r'

(>=*>*) :: forall a b c d e r' r'' m. Monad m => (a -> d -> m r'') -> (b -> c -> e -> r'' -> m r') -> (a, b) -> c -> (d, e) -> m r'

(>=*>&) :: forall a b c d r' r'' m. Monad m => (a -> d -> m r'') -> (b -> c -> d -> r'' -> m r') -> (a, b) -> c -> d -> m r'

(>=*>>) :: forall a b c d r' r'' m. Monad m => (a -> m r'') -> (b -> c -> d -> r'' -> m r') -> (a, b) -> c -> d -> m r'

(>=*><) :: forall a b c d r' r'' m. Monad m => (a -> d -> m r'') -> (b -> c -> r'' -> m r') -> (a, b) -> c -> d -> m r'

(>=*>^) :: forall a b c d r' r'' m. Monad m => (a -> m r'') -> (b -> c -> r'' -> m r') -> (a, b) -> c -> d -> m r'

(>=*<*) :: forall a b c d e r' r'' m. Monad m => (a -> c -> d -> m r'') -> (b -> e -> r'' -> m r') -> (a, b) -> c -> (d, e) -> m r'

(>=*<&) :: forall a b c d r' r'' m. Monad m => (a -> c -> d -> m r'') -> (b -> d -> r'' -> m r') -> (a, b) -> c -> d -> m r'

(>=*<>) :: forall a b c d r' r'' m. Monad m => (a -> c -> m r'') -> (b -> d -> r'' -> m r') -> (a, b) -> c -> d -> m r'

(>=*<<) :: forall a b c d r' r'' m. Monad m => (a -> c -> d -> m r'') -> (b -> r'' -> m r') -> (a, b) -> c -> d -> m r'

(>=*<^) :: forall a b c d r' r'' m. Monad m => (a -> c -> m r'') -> (b -> r'' -> m r') -> (a, b) -> c -> d -> m r'

(>=*^*) :: forall a b c d e r' r'' m. Monad m => (a -> d -> m r'') -> (b -> e -> r'' -> m r') -> (a, b) -> c -> (d, e) -> m r'

(>=*^&) :: forall a b c d r' r'' m. Monad m => (a -> d -> m r'') -> (b -> d -> r'' -> m r') -> (a, b) -> c -> d -> m r'

(>=*^>) :: forall a b c d r' r'' m. Monad m => (a -> m r'') -> (b -> d -> r'' -> m r') -> (a, b) -> c -> d -> m r'

(>=*^<) :: forall a b c d r' r'' m. Monad m => (a -> d -> m r'') -> (b -> r'' -> m r') -> (a, b) -> c -> d -> m r'

(>=*^^) :: forall a b c d r' r'' m. Monad m => (a -> m r'') -> (b -> r'' -> m r') -> (a, b) -> c -> d -> m r'

(>=&**) :: forall a b c d e r' r'' m. Monad m => (a -> b -> d -> m r'') -> (a -> c -> e -> r'' -> m r') -> a -> (b, c) -> (d, e) -> m r'

(>=&*&) :: forall a b c d r' r'' m. Monad m => (a -> b -> d -> m r'') -> (a -> c -> d -> r'' -> m r') -> a -> (b, c) -> d -> m r'

(>=&*>) :: forall a b c d r' r'' m. Monad m => (a -> b -> m r'') -> (a -> c -> d -> r'' -> m r') -> a -> (b, c) -> d -> m r'

(>=&*<) :: forall a b c d r' r'' m. Monad m => (a -> b -> d -> m r'') -> (a -> c -> r'' -> m r') -> a -> (b, c) -> d -> m r'

(>=&*^) :: forall a b c d r' r'' m. Monad m => (a -> b -> m r'') -> (a -> c -> r'' -> m r') -> a -> (b, c) -> d -> m r'

(>=&&*) :: forall a b c d r' r'' m. Monad m => (a -> b -> c -> m r'') -> (a -> b -> d -> r'' -> m r') -> a -> b -> (c, d) -> m r'

(>=&&&) :: forall a b c r' r'' m. Monad m => (a -> b -> c -> m r'') -> (a -> b -> c -> r'' -> m r') -> a -> b -> c -> m r'

(>=&&>) :: forall a b c r' r'' m. Monad m => (a -> b -> m r'') -> (a -> b -> c -> r'' -> m r') -> a -> b -> c -> m r'

(>=&&<) :: forall a b c r' r'' m. Monad m => (a -> b -> c -> m r'') -> (a -> b -> r'' -> m r') -> a -> b -> c -> m r'

(>=&&^) :: forall a b c r' r'' m. Monad m => (a -> b -> m r'') -> (a -> b -> r'' -> m r') -> a -> b -> c -> m r'

(>=&>*) :: forall a b c d r' r'' m. Monad m => (a -> c -> m r'') -> (a -> b -> d -> r'' -> m r') -> a -> b -> (c, d) -> m r'

(>=&>&) :: forall a b c r' r'' m. Monad m => (a -> c -> m r'') -> (a -> b -> c -> r'' -> m r') -> a -> b -> c -> m r'

(>=&>>) :: forall a b c r' r'' m. Monad m => (a -> m r'') -> (a -> b -> c -> r'' -> m r') -> a -> b -> c -> m r'

(>=&><) :: forall a b c r' r'' m. Monad m => (a -> c -> m r'') -> (a -> b -> r'' -> m r') -> a -> b -> c -> m r'

(>=&>^) :: forall a b c r' r'' m. Monad m => (a -> m r'') -> (a -> b -> r'' -> m r') -> a -> b -> c -> m r'

(>=&<*) :: forall a b c d r' r'' m. Monad m => (a -> b -> c -> m r'') -> (a -> d -> r'' -> m r') -> a -> b -> (c, d) -> m r'

(>=&<&) :: forall a b c r' r'' m. Monad m => (a -> b -> c -> m r'') -> (a -> c -> r'' -> m r') -> a -> b -> c -> m r'

(>=&<>) :: forall a b c r' r'' m. Monad m => (a -> b -> m r'') -> (a -> c -> r'' -> m r') -> a -> b -> c -> m r'

(>=&<<) :: forall a b c r' r'' m. Monad m => (a -> b -> c -> m r'') -> (a -> r'' -> m r') -> a -> b -> c -> m r'

(>=&<^) :: forall a b c r' r'' m. Monad m => (a -> b -> m r'') -> (a -> r'' -> m r') -> a -> b -> c -> m r'

(>=&^*) :: forall a b c d r' r'' m. Monad m => (a -> c -> m r'') -> (a -> d -> r'' -> m r') -> a -> b -> (c, d) -> m r'

(>=&^&) :: forall a b c r' r'' m. Monad m => (a -> c -> m r'') -> (a -> c -> r'' -> m r') -> a -> b -> c -> m r'

(>=&^>) :: forall a b c r' r'' m. Monad m => (a -> m r'') -> (a -> c -> r'' -> m r') -> a -> b -> c -> m r'

(>=&^<) :: forall a b c r' r'' m. Monad m => (a -> c -> m r'') -> (a -> r'' -> m r') -> a -> b -> c -> m r'

(>=&^^) :: forall a b c r' r'' m. Monad m => (a -> m r'') -> (a -> r'' -> m r') -> a -> b -> c -> m r'

(>=>**) :: forall a b c d e r' r'' m. Monad m => (b -> d -> m r'') -> (a -> c -> e -> r'' -> m r') -> a -> (b, c) -> (d, e) -> m r'

(>=>*&) :: forall a b c d r' r'' m. Monad m => (b -> d -> m r'') -> (a -> c -> d -> r'' -> m r') -> a -> (b, c) -> d -> m r'

(>=>*>) :: forall a b c d r' r'' m. Monad m => (b -> m r'') -> (a -> c -> d -> r'' -> m r') -> a -> (b, c) -> d -> m r'

(>=>*<) :: forall a b c d r' r'' m. Monad m => (b -> d -> m r'') -> (a -> c -> r'' -> m r') -> a -> (b, c) -> d -> m r'

(>=>*^) :: forall a b c d r' r'' m. Monad m => (b -> m r'') -> (a -> c -> r'' -> m r') -> a -> (b, c) -> d -> m r'

(>=>&*) :: forall a b c d r' r'' m. Monad m => (b -> c -> m r'') -> (a -> b -> d -> r'' -> m r') -> a -> b -> (c, d) -> m r'

(>=>&&) :: forall a b c r' r'' m. Monad m => (b -> c -> m r'') -> (a -> b -> c -> r'' -> m r') -> a -> b -> c -> m r'

(>=>&>) :: forall a b c r' r'' m. Monad m => (b -> m r'') -> (a -> b -> c -> r'' -> m r') -> a -> b -> c -> m r'

(>=>&<) :: forall a b c r' r'' m. Monad m => (b -> c -> m r'') -> (a -> b -> r'' -> m r') -> a -> b -> c -> m r'

(>=>&^) :: forall a b c r' r'' m. Monad m => (b -> m r'') -> (a -> b -> r'' -> m r') -> a -> b -> c -> m r'

(>=>>*) :: forall a b c d r' r'' m. Monad m => (c -> m r'') -> (a -> b -> d -> r'' -> m r') -> a -> b -> (c, d) -> m r'

(>=>>&) :: forall a b c r' r'' m. Monad m => (c -> m r'') -> (a -> b -> c -> r'' -> m r') -> a -> b -> c -> m r'

(>=>>>) :: forall a b c r' r'' m. Monad m => m r'' -> (a -> b -> c -> r'' -> m r') -> a -> b -> c -> m r'

(>=>><) :: forall a b c r' r'' m. Monad m => (c -> m r'') -> (a -> b -> r'' -> m r') -> a -> b -> c -> m r'

(>=>>^) :: forall a b c r' r'' m. Monad m => m r'' -> (a -> b -> r'' -> m r') -> a -> b -> c -> m r'

(>=><*) :: forall a b c d r' r'' m. Monad m => (b -> c -> m r'') -> (a -> d -> r'' -> m r') -> a -> b -> (c, d) -> m r'

(>=><&) :: forall a b c r' r'' m. Monad m => (b -> c -> m r'') -> (a -> c -> r'' -> m r') -> a -> b -> c -> m r'

(>=><>) :: forall a b c r' r'' m. Monad m => (b -> m r'') -> (a -> c -> r'' -> m r') -> a -> b -> c -> m r'

(>=><<) :: forall a b c r' r'' m. Monad m => (b -> c -> m r'') -> (a -> r'' -> m r') -> a -> b -> c -> m r'

(>=><^) :: forall a b c r' r'' m. Monad m => (b -> m r'') -> (a -> r'' -> m r') -> a -> b -> c -> m r'

(>=>^*) :: forall a b c d r' r'' m. Monad m => (c -> m r'') -> (a -> d -> r'' -> m r') -> a -> b -> (c, d) -> m r'

(>=>^&) :: forall a b c r' r'' m. Monad m => (c -> m r'') -> (a -> c -> r'' -> m r') -> a -> b -> c -> m r'

(>=>^>) :: forall a b c r' r'' m. Monad m => m r'' -> (a -> c -> r'' -> m r') -> a -> b -> c -> m r'

(>=>^<) :: forall a b c r' r'' m. Monad m => (c -> m r'') -> (a -> r'' -> m r') -> a -> b -> c -> m r'

(>=>^^) :: forall a b c r' r'' m. Monad m => m r'' -> (a -> r'' -> m r') -> a -> b -> c -> m r'

(>=<**) :: forall a b c d e r' r'' m. Monad m => (a -> b -> d -> m r'') -> (c -> e -> r'' -> m r') -> a -> (b, c) -> (d, e) -> m r'

(>=<*&) :: forall a b c d r' r'' m. Monad m => (a -> b -> d -> m r'') -> (c -> d -> r'' -> m r') -> a -> (b, c) -> d -> m r'

(>=<*>) :: forall a b c d r' r'' m. Monad m => (a -> b -> m r'') -> (c -> d -> r'' -> m r') -> a -> (b, c) -> d -> m r'

(>=<*<) :: forall a b c d r' r'' m. Monad m => (a -> b -> d -> m r'') -> (c -> r'' -> m r') -> a -> (b, c) -> d -> m r'

(>=<*^) :: forall a b c d r' r'' m. Monad m => (a -> b -> m r'') -> (c -> r'' -> m r') -> a -> (b, c) -> d -> m r'

(>=<&*) :: forall a b c d r' r'' m. Monad m => (a -> b -> c -> m r'') -> (b -> d -> r'' -> m r') -> a -> b -> (c, d) -> m r'

(>=<&&) :: forall a b c r' r'' m. Monad m => (a -> b -> c -> m r'') -> (b -> c -> r'' -> m r') -> a -> b -> c -> m r'

(>=<&>) :: forall a b c r' r'' m. Monad m => (a -> b -> m r'') -> (b -> c -> r'' -> m r') -> a -> b -> c -> m r'

(>=<&<) :: forall a b c r' r'' m. Monad m => (a -> b -> c -> m r'') -> (b -> r'' -> m r') -> a -> b -> c -> m r'

(>=<&^) :: forall a b c r' r'' m. Monad m => (a -> b -> m r'') -> (b -> r'' -> m r') -> a -> b -> c -> m r'

(>=<>*) :: forall a b c d r' r'' m. Monad m => (a -> c -> m r'') -> (b -> d -> r'' -> m r') -> a -> b -> (c, d) -> m r'

(>=<>&) :: forall a b c r' r'' m. Monad m => (a -> c -> m r'') -> (b -> c -> r'' -> m r') -> a -> b -> c -> m r'

(>=<>>) :: forall a b c r' r'' m. Monad m => (a -> m r'') -> (b -> c -> r'' -> m r') -> a -> b -> c -> m r'

(>=<><) :: forall a b c r' r'' m. Monad m => (a -> c -> m r'') -> (b -> r'' -> m r') -> a -> b -> c -> m r'

(>=<>^) :: forall a b c r' r'' m. Monad m => (a -> m r'') -> (b -> r'' -> m r') -> a -> b -> c -> m r'

(>=<<*) :: forall a b c d r' r'' m. Monad m => (a -> b -> c -> m r'') -> (d -> r'' -> m r') -> a -> b -> (c, d) -> m r'

(>=<<&) :: forall a b c r' r'' m. Monad m => (a -> b -> c -> m r'') -> (c -> r'' -> m r') -> a -> b -> c -> m r'

(>=<<>) :: forall a b c r' r'' m. Monad m => (a -> b -> m r'') -> (c -> r'' -> m r') -> a -> b -> c -> m r'

(>=<<<) :: forall a b c r' r'' m. Monad m => (a -> b -> c -> m r'') -> (r'' -> m r') -> a -> b -> c -> m r'

(>=<<^) :: forall a b c r' r'' m. Monad m => (a -> b -> m r'') -> (r'' -> m r') -> a -> b -> c -> m r'

(>=<^*) :: forall a b c d r' r'' m. Monad m => (a -> c -> m r'') -> (d -> r'' -> m r') -> a -> b -> (c, d) -> m r'

(>=<^&) :: forall a b c r' r'' m. Monad m => (a -> c -> m r'') -> (c -> r'' -> m r') -> a -> b -> c -> m r'

(>=<^>) :: forall a b c r' r'' m. Monad m => (a -> m r'') -> (c -> r'' -> m r') -> a -> b -> c -> m r'

(>=<^<) :: forall a b c r' r'' m. Monad m => (a -> c -> m r'') -> (r'' -> m r') -> a -> b -> c -> m r'

(>=<^^) :: forall a b c r' r'' m. Monad m => (a -> m r'') -> (r'' -> m r') -> a -> b -> c -> m r'

(>=^**) :: forall a b c d e r' r'' m. Monad m => (b -> d -> m r'') -> (c -> e -> r'' -> m r') -> a -> (b, c) -> (d, e) -> m r'

(>=^*&) :: forall a b c d r' r'' m. Monad m => (b -> d -> m r'') -> (c -> d -> r'' -> m r') -> a -> (b, c) -> d -> m r'

(>=^*>) :: forall a b c d r' r'' m. Monad m => (b -> m r'') -> (c -> d -> r'' -> m r') -> a -> (b, c) -> d -> m r'

(>=^*<) :: forall a b c d r' r'' m. Monad m => (b -> d -> m r'') -> (c -> r'' -> m r') -> a -> (b, c) -> d -> m r'

(>=^*^) :: forall a b c d r' r'' m. Monad m => (b -> m r'') -> (c -> r'' -> m r') -> a -> (b, c) -> d -> m r'

(>=^&*) :: forall a b c d r' r'' m. Monad m => (b -> c -> m r'') -> (b -> d -> r'' -> m r') -> a -> b -> (c, d) -> m r'

(>=^&&) :: forall a b c r' r'' m. Monad m => (b -> c -> m r'') -> (b -> c -> r'' -> m r') -> a -> b -> c -> m r'

(>=^&>) :: forall a b c r' r'' m. Monad m => (b -> m r'') -> (b -> c -> r'' -> m r') -> a -> b -> c -> m r'

(>=^&<) :: forall a b c r' r'' m. Monad m => (b -> c -> m r'') -> (b -> r'' -> m r') -> a -> b -> c -> m r'

(>=^&^) :: forall a b c r' r'' m. Monad m => (b -> m r'') -> (b -> r'' -> m r') -> a -> b -> c -> m r'

(>=^>*) :: forall a b c d r' r'' m. Monad m => (c -> m r'') -> (b -> d -> r'' -> m r') -> a -> b -> (c, d) -> m r'

(>=^>&) :: forall a b c r' r'' m. Monad m => (c -> m r'') -> (b -> c -> r'' -> m r') -> a -> b -> c -> m r'

(>=^>>) :: forall a b c r' r'' m. Monad m => m r'' -> (b -> c -> r'' -> m r') -> a -> b -> c -> m r'

(>=^><) :: forall a b c r' r'' m. Monad m => (c -> m r'') -> (b -> r'' -> m r') -> a -> b -> c -> m r'

(>=^>^) :: forall a b c r' r'' m. Monad m => m r'' -> (b -> r'' -> m r') -> a -> b -> c -> m r'

(>=^<*) :: forall a b c d r' r'' m. Monad m => (b -> c -> m r'') -> (d -> r'' -> m r') -> a -> b -> (c, d) -> m r'

(>=^<&) :: forall a b c r' r'' m. Monad m => (b -> c -> m r'') -> (c -> r'' -> m r') -> a -> b -> c -> m r'

(>=^<>) :: forall a b c r' r'' m. Monad m => (b -> m r'') -> (c -> r'' -> m r') -> a -> b -> c -> m r'

(>=^<<) :: forall a b c r' r'' m. Monad m => (b -> c -> m r'') -> (r'' -> m r') -> a -> b -> c -> m r'

(>=^<^) :: forall a b c r' r'' m. Monad m => (b -> m r'') -> (r'' -> m r') -> a -> b -> c -> m r'

(>=^^*) :: forall a b c d r' r'' m. Monad m => (c -> m r'') -> (d -> r'' -> m r') -> a -> b -> (c, d) -> m r'

(>=^^&) :: forall a b c r' r'' m. Monad m => (c -> m r'') -> (c -> r'' -> m r') -> a -> b -> c -> m r'

(>=^^>) :: forall a b c r' r'' m. Monad m => m r'' -> (c -> r'' -> m r') -> a -> b -> c -> m r'

(>=^^<) :: forall a b c r' r'' m. Monad m => (c -> m r'') -> (r'' -> m r') -> a -> b -> c -> m r'

(>=^^^) :: forall a b c r' r'' m. Monad m => m r'' -> (r'' -> m r') -> a -> b -> c -> m r'

(>=**) :: forall a b c d r' r'' m. Monad m => (a -> c -> m r'') -> (b -> d -> r'' -> m r') -> (a, b) -> (c, d) -> m r'

(>=*&) :: forall a b c r' r'' m. Monad m => (a -> c -> m r'') -> (b -> c -> r'' -> m r') -> (a, b) -> c -> m r'

(>=*>) :: forall a b c r' r'' m. Monad m => (a -> m r'') -> (b -> c -> r'' -> m r') -> (a, b) -> c -> m r'

(>=*<) :: forall a b c r' r'' m. Monad m => (a -> c -> m r'') -> (b -> r'' -> m r') -> (a, b) -> c -> m r'

(>=*^) :: forall a b c r' r'' m. Monad m => (a -> m r'') -> (b -> r'' -> m r') -> (a, b) -> c -> m r'

(>=&*) :: forall a b c r' r'' m. Monad m => (a -> b -> m r'') -> (a -> c -> r'' -> m r') -> a -> (b, c) -> m r'

(>=&&) :: forall a b r' r'' m. Monad m => (a -> b -> m r'') -> (a -> b -> r'' -> m r') -> a -> b -> m r'

(>=&>) :: forall a b r' r'' m. Monad m => (a -> m r'') -> (a -> b -> r'' -> m r') -> a -> b -> m r'

(>=&<) :: forall a b r' r'' m. Monad m => (a -> b -> m r'') -> (a -> r'' -> m r') -> a -> b -> m r'

(>=&^) :: forall a b r' r'' m. Monad m => (a -> m r'') -> (a -> r'' -> m r') -> a -> b -> m r'

(>=>*) :: forall a b c r' r'' m. Monad m => (b -> m r'') -> (a -> c -> r'' -> m r') -> a -> (b, c) -> m r'

(>=>&) :: forall a b r' r'' m. Monad m => (b -> m r'') -> (a -> b -> r'' -> m r') -> a -> b -> m r'

(>=>>) :: forall a b r' r'' m. Monad m => m r'' -> (a -> b -> r'' -> m r') -> a -> b -> m r'

(>=><) :: forall a b r' r'' m. Monad m => (b -> m r'') -> (a -> r'' -> m r') -> a -> b -> m r'

(>=>^) :: forall a b r' r'' m. Monad m => m r'' -> (a -> r'' -> m r') -> a -> b -> m r'

(>=<*) :: forall a b c r' r'' m. Monad m => (a -> b -> m r'') -> (c -> r'' -> m r') -> a -> (b, c) -> m r'

(>=<&) :: forall a b r' r'' m. Monad m => (a -> b -> m r'') -> (b -> r'' -> m r') -> a -> b -> m r'

(>=<>) :: forall a b r' r'' m. Monad m => (a -> m r'') -> (b -> r'' -> m r') -> a -> b -> m r'

(>=<<) :: forall a b r' r'' m. Monad m => (a -> b -> m r'') -> (r'' -> m r') -> a -> b -> m r'

(>=<^) :: forall a b r' r'' m. Monad m => (a -> m r'') -> (r'' -> m r') -> a -> b -> m r'

(>=^*) :: forall a b c r' r'' m. Monad m => (b -> m r'') -> (c -> r'' -> m r') -> a -> (b, c) -> m r'

(>=^&) :: forall a b r' r'' m. Monad m => (b -> m r'') -> (b -> r'' -> m r') -> a -> b -> m r'

(>=^>) :: forall a b r' r'' m. Monad m => m r'' -> (b -> r'' -> m r') -> a -> b -> m r'

(>=^<) :: forall a b r' r'' m. Monad m => (b -> m r'') -> (r'' -> m r') -> a -> b -> m r'

(>=^^) :: forall a b r' r'' m. Monad m => m r'' -> (r'' -> m r') -> a -> b -> m r'

(>=*) :: forall a b r' r'' m. Monad m => (a -> m r'') -> (b -> r'' -> m r') -> (a, b) -> m r'

(>=&) :: forall a r' r'' m. Monad m => (a -> m r'') -> (a -> r'' -> m r') -> a -> m r'

(>=>) :: forall a r' r'' m. Monad m => m r'' -> (a -> r'' -> m r') -> a -> m r'

(>=<) :: forall a r' r'' m. Monad m => (a -> m r'') -> (r'' -> m r') -> a -> m r'

(>=^) :: forall a r' r'' m. Monad m => m r'' -> (r'' -> m r') -> a -> m r'

(<=***) :: forall a b c d e f r' r'' m. Monad m => (a -> c -> e -> r'' -> m r') -> (b -> d -> f -> m r'') -> (a, b) -> (c, d) -> (e, f) -> m r'

(<=**&) :: forall a b c d e r' r'' m. Monad m => (a -> c -> e -> r'' -> m r') -> (b -> d -> e -> m r'') -> (a, b) -> (c, d) -> e -> m r'

(<=**>) :: forall a b c d e r' r'' m. Monad m => (a -> c -> r'' -> m r') -> (b -> d -> e -> m r'') -> (a, b) -> (c, d) -> e -> m r'

(<=**<) :: forall a b c d e r' r'' m. Monad m => (a -> c -> e -> r'' -> m r') -> (b -> d -> m r'') -> (a, b) -> (c, d) -> e -> m r'

(<=**^) :: forall a b c d e r' r'' m. Monad m => (a -> c -> r'' -> m r') -> (b -> d -> m r'') -> (a, b) -> (c, d) -> e -> m r'

(<=*&*) :: forall a b c d e r' r'' m. Monad m => (a -> c -> d -> r'' -> m r') -> (b -> c -> e -> m r'') -> (a, b) -> c -> (d, e) -> m r'

(<=*&&) :: forall a b c d r' r'' m. Monad m => (a -> c -> d -> r'' -> m r') -> (b -> c -> d -> m r'') -> (a, b) -> c -> d -> m r'

(<=*&>) :: forall a b c d r' r'' m. Monad m => (a -> c -> r'' -> m r') -> (b -> c -> d -> m r'') -> (a, b) -> c -> d -> m r'

(<=*&<) :: forall a b c d r' r'' m. Monad m => (a -> c -> d -> r'' -> m r') -> (b -> c -> m r'') -> (a, b) -> c -> d -> m r'

(<=*&^) :: forall a b c d r' r'' m. Monad m => (a -> c -> r'' -> m r') -> (b -> c -> m r'') -> (a, b) -> c -> d -> m r'

(<=*>*) :: forall a b c d e r' r'' m. Monad m => (a -> d -> r'' -> m r') -> (b -> c -> e -> m r'') -> (a, b) -> c -> (d, e) -> m r'

(<=*>&) :: forall a b c d r' r'' m. Monad m => (a -> d -> r'' -> m r') -> (b -> c -> d -> m r'') -> (a, b) -> c -> d -> m r'

(<=*>>) :: forall a b c d r' r'' m. Monad m => (a -> r'' -> m r') -> (b -> c -> d -> m r'') -> (a, b) -> c -> d -> m r'

(<=*><) :: forall a b c d r' r'' m. Monad m => (a -> d -> r'' -> m r') -> (b -> c -> m r'') -> (a, b) -> c -> d -> m r'

(<=*>^) :: forall a b c d r' r'' m. Monad m => (a -> r'' -> m r') -> (b -> c -> m r'') -> (a, b) -> c -> d -> m r'

(<=*<*) :: forall a b c d e r' r'' m. Monad m => (a -> c -> d -> r'' -> m r') -> (b -> e -> m r'') -> (a, b) -> c -> (d, e) -> m r'

(<=*<&) :: forall a b c d r' r'' m. Monad m => (a -> c -> d -> r'' -> m r') -> (b -> d -> m r'') -> (a, b) -> c -> d -> m r'

(<=*<>) :: forall a b c d r' r'' m. Monad m => (a -> c -> r'' -> m r') -> (b -> d -> m r'') -> (a, b) -> c -> d -> m r'

(<=*<<) :: forall a b c d r' r'' m. Monad m => (a -> c -> d -> r'' -> m r') -> (b -> m r'') -> (a, b) -> c -> d -> m r'

(<=*<^) :: forall a b c d r' r'' m. Monad m => (a -> c -> r'' -> m r') -> (b -> m r'') -> (a, b) -> c -> d -> m r'

(<=*^*) :: forall a b c d e r' r'' m. Monad m => (a -> d -> r'' -> m r') -> (b -> e -> m r'') -> (a, b) -> c -> (d, e) -> m r'

(<=*^&) :: forall a b c d r' r'' m. Monad m => (a -> d -> r'' -> m r') -> (b -> d -> m r'') -> (a, b) -> c -> d -> m r'

(<=*^>) :: forall a b c d r' r'' m. Monad m => (a -> r'' -> m r') -> (b -> d -> m r'') -> (a, b) -> c -> d -> m r'

(<=*^<) :: forall a b c d r' r'' m. Monad m => (a -> d -> r'' -> m r') -> (b -> m r'') -> (a, b) -> c -> d -> m r'

(<=*^^) :: forall a b c d r' r'' m. Monad m => (a -> r'' -> m r') -> (b -> m r'') -> (a, b) -> c -> d -> m r'

(<=&**) :: forall a b c d e r' r'' m. Monad m => (a -> b -> d -> r'' -> m r') -> (a -> c -> e -> m r'') -> a -> (b, c) -> (d, e) -> m r'

(<=&*&) :: forall a b c d r' r'' m. Monad m => (a -> b -> d -> r'' -> m r') -> (a -> c -> d -> m r'') -> a -> (b, c) -> d -> m r'

(<=&*>) :: forall a b c d r' r'' m. Monad m => (a -> b -> r'' -> m r') -> (a -> c -> d -> m r'') -> a -> (b, c) -> d -> m r'

(<=&*<) :: forall a b c d r' r'' m. Monad m => (a -> b -> d -> r'' -> m r') -> (a -> c -> m r'') -> a -> (b, c) -> d -> m r'

(<=&*^) :: forall a b c d r' r'' m. Monad m => (a -> b -> r'' -> m r') -> (a -> c -> m r'') -> a -> (b, c) -> d -> m r'

(<=&&*) :: forall a b c d r' r'' m. Monad m => (a -> b -> c -> r'' -> m r') -> (a -> b -> d -> m r'') -> a -> b -> (c, d) -> m r'

(<=&&&) :: forall a b c r' r'' m. Monad m => (a -> b -> c -> r'' -> m r') -> (a -> b -> c -> m r'') -> a -> b -> c -> m r'

(<=&&>) :: forall a b c r' r'' m. Monad m => (a -> b -> r'' -> m r') -> (a -> b -> c -> m r'') -> a -> b -> c -> m r'

(<=&&<) :: forall a b c r' r'' m. Monad m => (a -> b -> c -> r'' -> m r') -> (a -> b -> m r'') -> a -> b -> c -> m r'

(<=&&^) :: forall a b c r' r'' m. Monad m => (a -> b -> r'' -> m r') -> (a -> b -> m r'') -> a -> b -> c -> m r'

(<=&>*) :: forall a b c d r' r'' m. Monad m => (a -> c -> r'' -> m r') -> (a -> b -> d -> m r'') -> a -> b -> (c, d) -> m r'

(<=&>&) :: forall a b c r' r'' m. Monad m => (a -> c -> r'' -> m r') -> (a -> b -> c -> m r'') -> a -> b -> c -> m r'

(<=&>>) :: forall a b c r' r'' m. Monad m => (a -> r'' -> m r') -> (a -> b -> c -> m r'') -> a -> b -> c -> m r'

(<=&><) :: forall a b c r' r'' m. Monad m => (a -> c -> r'' -> m r') -> (a -> b -> m r'') -> a -> b -> c -> m r'

(<=&>^) :: forall a b c r' r'' m. Monad m => (a -> r'' -> m r') -> (a -> b -> m r'') -> a -> b -> c -> m r'

(<=&<*) :: forall a b c d r' r'' m. Monad m => (a -> b -> c -> r'' -> m r') -> (a -> d -> m r'') -> a -> b -> (c, d) -> m r'

(<=&<&) :: forall a b c r' r'' m. Monad m => (a -> b -> c -> r'' -> m r') -> (a -> c -> m r'') -> a -> b -> c -> m r'

(<=&<>) :: forall a b c r' r'' m. Monad m => (a -> b -> r'' -> m r') -> (a -> c -> m r'') -> a -> b -> c -> m r'

(<=&<<) :: forall a b c r' r'' m. Monad m => (a -> b -> c -> r'' -> m r') -> (a -> m r'') -> a -> b -> c -> m r'

(<=&<^) :: forall a b c r' r'' m. Monad m => (a -> b -> r'' -> m r') -> (a -> m r'') -> a -> b -> c -> m r'

(<=&^*) :: forall a b c d r' r'' m. Monad m => (a -> c -> r'' -> m r') -> (a -> d -> m r'') -> a -> b -> (c, d) -> m r'

(<=&^&) :: forall a b c r' r'' m. Monad m => (a -> c -> r'' -> m r') -> (a -> c -> m r'') -> a -> b -> c -> m r'

(<=&^>) :: forall a b c r' r'' m. Monad m => (a -> r'' -> m r') -> (a -> c -> m r'') -> a -> b -> c -> m r'

(<=&^<) :: forall a b c r' r'' m. Monad m => (a -> c -> r'' -> m r') -> (a -> m r'') -> a -> b -> c -> m r'

(<=&^^) :: forall a b c r' r'' m. Monad m => (a -> r'' -> m r') -> (a -> m r'') -> a -> b -> c -> m r'

(<=>**) :: forall a b c d e r' r'' m. Monad m => (b -> d -> r'' -> m r') -> (a -> c -> e -> m r'') -> a -> (b, c) -> (d, e) -> m r'

(<=>*&) :: forall a b c d r' r'' m. Monad m => (b -> d -> r'' -> m r') -> (a -> c -> d -> m r'') -> a -> (b, c) -> d -> m r'

(<=>*>) :: forall a b c d r' r'' m. Monad m => (b -> r'' -> m r') -> (a -> c -> d -> m r'') -> a -> (b, c) -> d -> m r'

(<=>*<) :: forall a b c d r' r'' m. Monad m => (b -> d -> r'' -> m r') -> (a -> c -> m r'') -> a -> (b, c) -> d -> m r'

(<=>*^) :: forall a b c d r' r'' m. Monad m => (b -> r'' -> m r') -> (a -> c -> m r'') -> a -> (b, c) -> d -> m r'

(<=>&*) :: forall a b c d r' r'' m. Monad m => (b -> c -> r'' -> m r') -> (a -> b -> d -> m r'') -> a -> b -> (c, d) -> m r'

(<=>&&) :: forall a b c r' r'' m. Monad m => (b -> c -> r'' -> m r') -> (a -> b -> c -> m r'') -> a -> b -> c -> m r'

(<=>&>) :: forall a b c r' r'' m. Monad m => (b -> r'' -> m r') -> (a -> b -> c -> m r'') -> a -> b -> c -> m r'

(<=>&<) :: forall a b c r' r'' m. Monad m => (b -> c -> r'' -> m r') -> (a -> b -> m r'') -> a -> b -> c -> m r'

(<=>&^) :: forall a b c r' r'' m. Monad m => (b -> r'' -> m r') -> (a -> b -> m r'') -> a -> b -> c -> m r'

(<=>>*) :: forall a b c d r' r'' m. Monad m => (c -> r'' -> m r') -> (a -> b -> d -> m r'') -> a -> b -> (c, d) -> m r'

(<=>>&) :: forall a b c r' r'' m. Monad m => (c -> r'' -> m r') -> (a -> b -> c -> m r'') -> a -> b -> c -> m r'

(<=>>>) :: forall a b c r' r'' m. Monad m => (r'' -> m r') -> (a -> b -> c -> m r'') -> a -> b -> c -> m r'

(<=>><) :: forall a b c r' r'' m. Monad m => (c -> r'' -> m r') -> (a -> b -> m r'') -> a -> b -> c -> m r'

(<=>>^) :: forall a b c r' r'' m. Monad m => (r'' -> m r') -> (a -> b -> m r'') -> a -> b -> c -> m r'

(<=><*) :: forall a b c d r' r'' m. Monad m => (b -> c -> r'' -> m r') -> (a -> d -> m r'') -> a -> b -> (c, d) -> m r'

(<=><&) :: forall a b c r' r'' m. Monad m => (b -> c -> r'' -> m r') -> (a -> c -> m r'') -> a -> b -> c -> m r'

(<=><>) :: forall a b c r' r'' m. Monad m => (b -> r'' -> m r') -> (a -> c -> m r'') -> a -> b -> c -> m r'

(<=><<) :: forall a b c r' r'' m. Monad m => (b -> c -> r'' -> m r') -> (a -> m r'') -> a -> b -> c -> m r'

(<=><^) :: forall a b c r' r'' m. Monad m => (b -> r'' -> m r') -> (a -> m r'') -> a -> b -> c -> m r'

(<=>^*) :: forall a b c d r' r'' m. Monad m => (c -> r'' -> m r') -> (a -> d -> m r'') -> a -> b -> (c, d) -> m r'

(<=>^&) :: forall a b c r' r'' m. Monad m => (c -> r'' -> m r') -> (a -> c -> m r'') -> a -> b -> c -> m r'

(<=>^>) :: forall a b c r' r'' m. Monad m => (r'' -> m r') -> (a -> c -> m r'') -> a -> b -> c -> m r'

(<=>^<) :: forall a b c r' r'' m. Monad m => (c -> r'' -> m r') -> (a -> m r'') -> a -> b -> c -> m r'

(<=>^^) :: forall a b c r' r'' m. Monad m => (r'' -> m r') -> (a -> m r'') -> a -> b -> c -> m r'

(<=<**) :: forall a b c d e r' r'' m. Monad m => (a -> b -> d -> r'' -> m r') -> (c -> e -> m r'') -> a -> (b, c) -> (d, e) -> m r'

(<=<*&) :: forall a b c d r' r'' m. Monad m => (a -> b -> d -> r'' -> m r') -> (c -> d -> m r'') -> a -> (b, c) -> d -> m r'

(<=<*>) :: forall a b c d r' r'' m. Monad m => (a -> b -> r'' -> m r') -> (c -> d -> m r'') -> a -> (b, c) -> d -> m r'

(<=<*<) :: forall a b c d r' r'' m. Monad m => (a -> b -> d -> r'' -> m r') -> (c -> m r'') -> a -> (b, c) -> d -> m r'

(<=<*^) :: forall a b c d r' r'' m. Monad m => (a -> b -> r'' -> m r') -> (c -> m r'') -> a -> (b, c) -> d -> m r'

(<=<&*) :: forall a b c d r' r'' m. Monad m => (a -> b -> c -> r'' -> m r') -> (b -> d -> m r'') -> a -> b -> (c, d) -> m r'

(<=<&&) :: forall a b c r' r'' m. Monad m => (a -> b -> c -> r'' -> m r') -> (b -> c -> m r'') -> a -> b -> c -> m r'

(<=<&>) :: forall a b c r' r'' m. Monad m => (a -> b -> r'' -> m r') -> (b -> c -> m r'') -> a -> b -> c -> m r'

(<=<&<) :: forall a b c r' r'' m. Monad m => (a -> b -> c -> r'' -> m r') -> (b -> m r'') -> a -> b -> c -> m r'

(<=<&^) :: forall a b c r' r'' m. Monad m => (a -> b -> r'' -> m r') -> (b -> m r'') -> a -> b -> c -> m r'

(<=<>*) :: forall a b c d r' r'' m. Monad m => (a -> c -> r'' -> m r') -> (b -> d -> m r'') -> a -> b -> (c, d) -> m r'

(<=<>&) :: forall a b c r' r'' m. Monad m => (a -> c -> r'' -> m r') -> (b -> c -> m r'') -> a -> b -> c -> m r'

(<=<>>) :: forall a b c r' r'' m. Monad m => (a -> r'' -> m r') -> (b -> c -> m r'') -> a -> b -> c -> m r'

(<=<><) :: forall a b c r' r'' m. Monad m => (a -> c -> r'' -> m r') -> (b -> m r'') -> a -> b -> c -> m r'

(<=<>^) :: forall a b c r' r'' m. Monad m => (a -> r'' -> m r') -> (b -> m r'') -> a -> b -> c -> m r'

(<=<<*) :: forall a b c d r' r'' m. Monad m => (a -> b -> c -> r'' -> m r') -> (d -> m r'') -> a -> b -> (c, d) -> m r'

(<=<<&) :: forall a b c r' r'' m. Monad m => (a -> b -> c -> r'' -> m r') -> (c -> m r'') -> a -> b -> c -> m r'

(<=<<>) :: forall a b c r' r'' m. Monad m => (a -> b -> r'' -> m r') -> (c -> m r'') -> a -> b -> c -> m r'

(<=<<<) :: forall a b c r' r'' m. Monad m => (a -> b -> c -> r'' -> m r') -> m r'' -> a -> b -> c -> m r'

(<=<<^) :: forall a b c r' r'' m. Monad m => (a -> b -> r'' -> m r') -> m r'' -> a -> b -> c -> m r'

(<=<^*) :: forall a b c d r' r'' m. Monad m => (a -> c -> r'' -> m r') -> (d -> m r'') -> a -> b -> (c, d) -> m r'

(<=<^&) :: forall a b c r' r'' m. Monad m => (a -> c -> r'' -> m r') -> (c -> m r'') -> a -> b -> c -> m r'

(<=<^>) :: forall a b c r' r'' m. Monad m => (a -> r'' -> m r') -> (c -> m r'') -> a -> b -> c -> m r'

(<=<^<) :: forall a b c r' r'' m. Monad m => (a -> c -> r'' -> m r') -> m r'' -> a -> b -> c -> m r'

(<=<^^) :: forall a b c r' r'' m. Monad m => (a -> r'' -> m r') -> m r'' -> a -> b -> c -> m r'

(<=^**) :: forall a b c d e r' r'' m. Monad m => (b -> d -> r'' -> m r') -> (c -> e -> m r'') -> a -> (b, c) -> (d, e) -> m r'

(<=^*&) :: forall a b c d r' r'' m. Monad m => (b -> d -> r'' -> m r') -> (c -> d -> m r'') -> a -> (b, c) -> d -> m r'

(<=^*>) :: forall a b c d r' r'' m. Monad m => (b -> r'' -> m r') -> (c -> d -> m r'') -> a -> (b, c) -> d -> m r'

(<=^*<) :: forall a b c d r' r'' m. Monad m => (b -> d -> r'' -> m r') -> (c -> m r'') -> a -> (b, c) -> d -> m r'

(<=^*^) :: forall a b c d r' r'' m. Monad m => (b -> r'' -> m r') -> (c -> m r'') -> a -> (b, c) -> d -> m r'

(<=^&*) :: forall a b c d r' r'' m. Monad m => (b -> c -> r'' -> m r') -> (b -> d -> m r'') -> a -> b -> (c, d) -> m r'

(<=^&&) :: forall a b c r' r'' m. Monad m => (b -> c -> r'' -> m r') -> (b -> c -> m r'') -> a -> b -> c -> m r'

(<=^&>) :: forall a b c r' r'' m. Monad m => (b -> r'' -> m r') -> (b -> c -> m r'') -> a -> b -> c -> m r'

(<=^&<) :: forall a b c r' r'' m. Monad m => (b -> c -> r'' -> m r') -> (b -> m r'') -> a -> b -> c -> m r'

(<=^&^) :: forall a b c r' r'' m. Monad m => (b -> r'' -> m r') -> (b -> m r'') -> a -> b -> c -> m r'

(<=^>*) :: forall a b c d r' r'' m. Monad m => (c -> r'' -> m r') -> (b -> d -> m r'') -> a -> b -> (c, d) -> m r'

(<=^>&) :: forall a b c r' r'' m. Monad m => (c -> r'' -> m r') -> (b -> c -> m r'') -> a -> b -> c -> m r'

(<=^>>) :: forall a b c r' r'' m. Monad m => (r'' -> m r') -> (b -> c -> m r'') -> a -> b -> c -> m r'

(<=^><) :: forall a b c r' r'' m. Monad m => (c -> r'' -> m r') -> (b -> m r'') -> a -> b -> c -> m r'

(<=^>^) :: forall a b c r' r'' m. Monad m => (r'' -> m r') -> (b -> m r'') -> a -> b -> c -> m r'

(<=^<*) :: forall a b c d r' r'' m. Monad m => (b -> c -> r'' -> m r') -> (d -> m r'') -> a -> b -> (c, d) -> m r'

(<=^<&) :: forall a b c r' r'' m. Monad m => (b -> c -> r'' -> m r') -> (c -> m r'') -> a -> b -> c -> m r'

(<=^<>) :: forall a b c r' r'' m. Monad m => (b -> r'' -> m r') -> (c -> m r'') -> a -> b -> c -> m r'

(<=^<<) :: forall a b c r' r'' m. Monad m => (b -> c -> r'' -> m r') -> m r'' -> a -> b -> c -> m r'

(<=^<^) :: forall a b c r' r'' m. Monad m => (b -> r'' -> m r') -> m r'' -> a -> b -> c -> m r'

(<=^^*) :: forall a b c d r' r'' m. Monad m => (c -> r'' -> m r') -> (d -> m r'') -> a -> b -> (c, d) -> m r'

(<=^^&) :: forall a b c r' r'' m. Monad m => (c -> r'' -> m r') -> (c -> m r'') -> a -> b -> c -> m r'

(<=^^>) :: forall a b c r' r'' m. Monad m => (r'' -> m r') -> (c -> m r'') -> a -> b -> c -> m r'

(<=^^<) :: forall a b c r' r'' m. Monad m => (c -> r'' -> m r') -> m r'' -> a -> b -> c -> m r'

(<=^^^) :: forall a b c r' r'' m. Monad m => (r'' -> m r') -> m r'' -> a -> b -> c -> m r'

(<=**) :: forall a b c d r' r'' m. Monad m => (a -> c -> r'' -> m r') -> (b -> d -> m r'') -> (a, b) -> (c, d) -> m r'

(<=*&) :: forall a b c r' r'' m. Monad m => (a -> c -> r'' -> m r') -> (b -> c -> m r'') -> (a, b) -> c -> m r'

(<=*>) :: forall a b c r' r'' m. Monad m => (a -> r'' -> m r') -> (b -> c -> m r'') -> (a, b) -> c -> m r'

(<=*<) :: forall a b c r' r'' m. Monad m => (a -> c -> r'' -> m r') -> (b -> m r'') -> (a, b) -> c -> m r'

(<=*^) :: forall a b c r' r'' m. Monad m => (a -> r'' -> m r') -> (b -> m r'') -> (a, b) -> c -> m r'

(<=&*) :: forall a b c r' r'' m. Monad m => (a -> b -> r'' -> m r') -> (a -> c -> m r'') -> a -> (b, c) -> m r'

(<=&&) :: forall a b r' r'' m. Monad m => (a -> b -> r'' -> m r') -> (a -> b -> m r'') -> a -> b -> m r'

(<=&>) :: forall a b r' r'' m. Monad m => (a -> r'' -> m r') -> (a -> b -> m r'') -> a -> b -> m r'

(<=&<) :: forall a b r' r'' m. Monad m => (a -> b -> r'' -> m r') -> (a -> m r'') -> a -> b -> m r'

(<=&^) :: forall a b r' r'' m. Monad m => (a -> r'' -> m r') -> (a -> m r'') -> a -> b -> m r'

(<=>*) :: forall a b c r' r'' m. Monad m => (b -> r'' -> m r') -> (a -> c -> m r'') -> a -> (b, c) -> m r'

(<=>&) :: forall a b r' r'' m. Monad m => (b -> r'' -> m r') -> (a -> b -> m r'') -> a -> b -> m r'

(<=>>) :: forall a b r' r'' m. Monad m => (r'' -> m r') -> (a -> b -> m r'') -> a -> b -> m r'

(<=><) :: forall a b r' r'' m. Monad m => (b -> r'' -> m r') -> (a -> m r'') -> a -> b -> m r'

(<=>^) :: forall a b r' r'' m. Monad m => (r'' -> m r') -> (a -> m r'') -> a -> b -> m r'

(<=<*) :: forall a b c r' r'' m. Monad m => (a -> b -> r'' -> m r') -> (c -> m r'') -> a -> (b, c) -> m r'

(<=<&) :: forall a b r' r'' m. Monad m => (a -> b -> r'' -> m r') -> (b -> m r'') -> a -> b -> m r'

(<=<>) :: forall a b r' r'' m. Monad m => (a -> r'' -> m r') -> (b -> m r'') -> a -> b -> m r'

(<=<<) :: forall a b r' r'' m. Monad m => (a -> b -> r'' -> m r') -> m r'' -> a -> b -> m r'

(<=<^) :: forall a b r' r'' m. Monad m => (a -> r'' -> m r') -> m r'' -> a -> b -> m r'

(<=^*) :: forall a b c r' r'' m. Monad m => (b -> r'' -> m r') -> (c -> m r'') -> a -> (b, c) -> m r'

(<=^&) :: forall a b r' r'' m. Monad m => (b -> r'' -> m r') -> (b -> m r'') -> a -> b -> m r'

(<=^>) :: forall a b r' r'' m. Monad m => (r'' -> m r') -> (b -> m r'') -> a -> b -> m r'

(<=^<) :: forall a b r' r'' m. Monad m => (b -> r'' -> m r') -> m r'' -> a -> b -> m r'

(<=^^) :: forall a b r' r'' m. Monad m => (r'' -> m r') -> m r'' -> a -> b -> m r'

(<=*) :: forall a b r' r'' m. Monad m => (a -> r'' -> m r') -> (b -> m r'') -> (a, b) -> m r'

(<=&) :: forall a r' r'' m. Monad m => (a -> r'' -> m r') -> (a -> m r'') -> a -> m r'

(<=>) :: forall a r' r'' m. Monad m => (r'' -> m r') -> (a -> m r'') -> a -> m r'

(<=<) :: forall a r' r'' m. Monad m => (a -> r'' -> m r') -> m r'' -> a -> m r'

(<=^) :: forall a r' r'' m. Monad m => (r'' -> m r') -> m r'' -> a -> m r'

(<<) :: Monad m => m b -> m a -> m b

(<<***) :: forall a b c d e f m r' r''. Monad m => (a -> c -> e -> m r') -> (b -> d -> f -> m r'') -> (a, b) -> (c, d) -> (e, f) -> m r'

(<<**&) :: forall a b c d e m r' r''. Monad m => (a -> c -> e -> m r') -> (b -> d -> e -> m r'') -> (a, b) -> (c, d) -> e -> m r'

(<<**>) :: forall a b c d e m r' r''. Monad m => (a -> c -> m r') -> (b -> d -> e -> m r'') -> (a, b) -> (c, d) -> e -> m r'

(<<**<) :: forall a b c d e m r' r''. Monad m => (a -> c -> e -> m r') -> (b -> d -> m r'') -> (a, b) -> (c, d) -> e -> m r'

(<<**^) :: forall a b c d e m r' r''. Monad m => (a -> c -> m r') -> (b -> d -> m r'') -> (a, b) -> (c, d) -> e -> m r'

(<<*&*) :: forall a b c d e m r' r''. Monad m => (a -> c -> d -> m r') -> (b -> c -> e -> m r'') -> (a, b) -> c -> (d, e) -> m r'

(<<*&&) :: forall a b c d m r' r''. Monad m => (a -> c -> d -> m r') -> (b -> c -> d -> m r'') -> (a, b) -> c -> d -> m r'

(<<*&>) :: forall a b c d m r' r''. Monad m => (a -> c -> m r') -> (b -> c -> d -> m r'') -> (a, b) -> c -> d -> m r'

(<<*&<) :: forall a b c d m r' r''. Monad m => (a -> c -> d -> m r') -> (b -> c -> m r'') -> (a, b) -> c -> d -> m r'

(<<*&^) :: forall a b c d m r' r''. Monad m => (a -> c -> m r') -> (b -> c -> m r'') -> (a, b) -> c -> d -> m r'

(<<*>*) :: forall a b c d e m r' r''. Monad m => (a -> d -> m r') -> (b -> c -> e -> m r'') -> (a, b) -> c -> (d, e) -> m r'

(<<*>&) :: forall a b c d m r' r''. Monad m => (a -> d -> m r') -> (b -> c -> d -> m r'') -> (a, b) -> c -> d -> m r'

(<<*>>) :: forall a b c d m r' r''. Monad m => (a -> m r') -> (b -> c -> d -> m r'') -> (a, b) -> c -> d -> m r'

(<<*><) :: forall a b c d m r' r''. Monad m => (a -> d -> m r') -> (b -> c -> m r'') -> (a, b) -> c -> d -> m r'

(<<*>^) :: forall a b c d m r' r''. Monad m => (a -> m r') -> (b -> c -> m r'') -> (a, b) -> c -> d -> m r'

(<<*<*) :: forall a b c d e m r' r''. Monad m => (a -> c -> d -> m r') -> (b -> e -> m r'') -> (a, b) -> c -> (d, e) -> m r'

(<<*<&) :: forall a b c d m r' r''. Monad m => (a -> c -> d -> m r') -> (b -> d -> m r'') -> (a, b) -> c -> d -> m r'

(<<*<>) :: forall a b c d m r' r''. Monad m => (a -> c -> m r') -> (b -> d -> m r'') -> (a, b) -> c -> d -> m r'

(<<*<<) :: forall a b c d m r' r''. Monad m => (a -> c -> d -> m r') -> (b -> m r'') -> (a, b) -> c -> d -> m r'

(<<*<^) :: forall a b c d m r' r''. Monad m => (a -> c -> m r') -> (b -> m r'') -> (a, b) -> c -> d -> m r'

(<<*^*) :: forall a b c d e m r' r''. Monad m => (a -> d -> m r') -> (b -> e -> m r'') -> (a, b) -> c -> (d, e) -> m r'

(<<*^&) :: forall a b c d m r' r''. Monad m => (a -> d -> m r') -> (b -> d -> m r'') -> (a, b) -> c -> d -> m r'

(<<*^>) :: forall a b c d m r' r''. Monad m => (a -> m r') -> (b -> d -> m r'') -> (a, b) -> c -> d -> m r'

(<<*^<) :: forall a b c d m r' r''. Monad m => (a -> d -> m r') -> (b -> m r'') -> (a, b) -> c -> d -> m r'

(<<*^^) :: forall a b c d m r' r''. Monad m => (a -> m r') -> (b -> m r'') -> (a, b) -> c -> d -> m r'

(<<&**) :: forall a b c d e m r' r''. Monad m => (a -> b -> d -> m r') -> (a -> c -> e -> m r'') -> a -> (b, c) -> (d, e) -> m r'

(<<&*&) :: forall a b c d m r' r''. Monad m => (a -> b -> d -> m r') -> (a -> c -> d -> m r'') -> a -> (b, c) -> d -> m r'

(<<&*>) :: forall a b c d m r' r''. Monad m => (a -> b -> m r') -> (a -> c -> d -> m r'') -> a -> (b, c) -> d -> m r'

(<<&*<) :: forall a b c d m r' r''. Monad m => (a -> b -> d -> m r') -> (a -> c -> m r'') -> a -> (b, c) -> d -> m r'

(<<&*^) :: forall a b c d m r' r''. Monad m => (a -> b -> m r') -> (a -> c -> m r'') -> a -> (b, c) -> d -> m r'

(<<&&*) :: forall a b c d m r' r''. Monad m => (a -> b -> c -> m r') -> (a -> b -> d -> m r'') -> a -> b -> (c, d) -> m r'

(<<&&&) :: forall a b c m r' r''. Monad m => (a -> b -> c -> m r') -> (a -> b -> c -> m r'') -> a -> b -> c -> m r'

(<<&&>) :: forall a b c m r' r''. Monad m => (a -> b -> m r') -> (a -> b -> c -> m r'') -> a -> b -> c -> m r'

(<<&&<) :: forall a b c m r' r''. Monad m => (a -> b -> c -> m r') -> (a -> b -> m r'') -> a -> b -> c -> m r'

(<<&&^) :: forall a b c m r' r''. Monad m => (a -> b -> m r') -> (a -> b -> m r'') -> a -> b -> c -> m r'

(<<&>*) :: forall a b c d m r' r''. Monad m => (a -> c -> m r') -> (a -> b -> d -> m r'') -> a -> b -> (c, d) -> m r'

(<<&>&) :: forall a b c m r' r''. Monad m => (a -> c -> m r') -> (a -> b -> c -> m r'') -> a -> b -> c -> m r'

(<<&>>) :: forall a b c m r' r''. Monad m => (a -> m r') -> (a -> b -> c -> m r'') -> a -> b -> c -> m r'

(<<&><) :: forall a b c m r' r''. Monad m => (a -> c -> m r') -> (a -> b -> m r'') -> a -> b -> c -> m r'

(<<&>^) :: forall a b c m r' r''. Monad m => (a -> m r') -> (a -> b -> m r'') -> a -> b -> c -> m r'

(<<&<*) :: forall a b c d m r' r''. Monad m => (a -> b -> c -> m r') -> (a -> d -> m r'') -> a -> b -> (c, d) -> m r'

(<<&<&) :: forall a b c m r' r''. Monad m => (a -> b -> c -> m r') -> (a -> c -> m r'') -> a -> b -> c -> m r'

(<<&<>) :: forall a b c m r' r''. Monad m => (a -> b -> m r') -> (a -> c -> m r'') -> a -> b -> c -> m r'

(<<&<<) :: forall a b c m r' r''. Monad m => (a -> b -> c -> m r') -> (a -> m r'') -> a -> b -> c -> m r'

(<<&<^) :: forall a b c m r' r''. Monad m => (a -> b -> m r') -> (a -> m r'') -> a -> b -> c -> m r'

(<<&^*) :: forall a b c d m r' r''. Monad m => (a -> c -> m r') -> (a -> d -> m r'') -> a -> b -> (c, d) -> m r'

(<<&^&) :: forall a b c m r' r''. Monad m => (a -> c -> m r') -> (a -> c -> m r'') -> a -> b -> c -> m r'

(<<&^>) :: forall a b c m r' r''. Monad m => (a -> m r') -> (a -> c -> m r'') -> a -> b -> c -> m r'

(<<&^<) :: forall a b c m r' r''. Monad m => (a -> c -> m r') -> (a -> m r'') -> a -> b -> c -> m r'

(<<&^^) :: forall a b c m r' r''. Monad m => (a -> m r') -> (a -> m r'') -> a -> b -> c -> m r'

(<<>**) :: forall a b c d e m r' r''. Monad m => (b -> d -> m r') -> (a -> c -> e -> m r'') -> a -> (b, c) -> (d, e) -> m r'

(<<>*&) :: forall a b c d m r' r''. Monad m => (b -> d -> m r') -> (a -> c -> d -> m r'') -> a -> (b, c) -> d -> m r'

(<<>*>) :: forall a b c d m r' r''. Monad m => (b -> m r') -> (a -> c -> d -> m r'') -> a -> (b, c) -> d -> m r'

(<<>*<) :: forall a b c d m r' r''. Monad m => (b -> d -> m r') -> (a -> c -> m r'') -> a -> (b, c) -> d -> m r'

(<<>*^) :: forall a b c d m r' r''. Monad m => (b -> m r') -> (a -> c -> m r'') -> a -> (b, c) -> d -> m r'

(<<>&*) :: forall a b c d m r' r''. Monad m => (b -> c -> m r') -> (a -> b -> d -> m r'') -> a -> b -> (c, d) -> m r'

(<<>&&) :: forall a b c m r' r''. Monad m => (b -> c -> m r') -> (a -> b -> c -> m r'') -> a -> b -> c -> m r'

(<<>&>) :: forall a b c m r' r''. Monad m => (b -> m r') -> (a -> b -> c -> m r'') -> a -> b -> c -> m r'

(<<>&<) :: forall a b c m r' r''. Monad m => (b -> c -> m r') -> (a -> b -> m r'') -> a -> b -> c -> m r'

(<<>&^) :: forall a b c m r' r''. Monad m => (b -> m r') -> (a -> b -> m r'') -> a -> b -> c -> m r'

(<<>>*) :: forall a b c d m r' r''. Monad m => (c -> m r') -> (a -> b -> d -> m r'') -> a -> b -> (c, d) -> m r'

(<<>>&) :: forall a b c m r' r''. Monad m => (c -> m r') -> (a -> b -> c -> m r'') -> a -> b -> c -> m r'

(<<>>>) :: forall a b c m r' r''. Monad m => m r' -> (a -> b -> c -> m r'') -> a -> b -> c -> m r'

(<<>><) :: forall a b c m r' r''. Monad m => (c -> m r') -> (a -> b -> m r'') -> a -> b -> c -> m r'

(<<>>^) :: forall a b c m r' r''. Monad m => m r' -> (a -> b -> m r'') -> a -> b -> c -> m r'

(<<><*) :: forall a b c d m r' r''. Monad m => (b -> c -> m r') -> (a -> d -> m r'') -> a -> b -> (c, d) -> m r'

(<<><&) :: forall a b c m r' r''. Monad m => (b -> c -> m r') -> (a -> c -> m r'') -> a -> b -> c -> m r'

(<<><>) :: forall a b c m r' r''. Monad m => (b -> m r') -> (a -> c -> m r'') -> a -> b -> c -> m r'

(<<><<) :: forall a b c m r' r''. Monad m => (b -> c -> m r') -> (a -> m r'') -> a -> b -> c -> m r'

(<<><^) :: forall a b c m r' r''. Monad m => (b -> m r') -> (a -> m r'') -> a -> b -> c -> m r'

(<<>^*) :: forall a b c d m r' r''. Monad m => (c -> m r') -> (a -> d -> m r'') -> a -> b -> (c, d) -> m r'

(<<>^&) :: forall a b c m r' r''. Monad m => (c -> m r') -> (a -> c -> m r'') -> a -> b -> c -> m r'

(<<>^>) :: forall a b c m r' r''. Monad m => m r' -> (a -> c -> m r'') -> a -> b -> c -> m r'

(<<>^<) :: forall a b c m r' r''. Monad m => (c -> m r') -> (a -> m r'') -> a -> b -> c -> m r'

(<<>^^) :: forall a b c m r' r''. Monad m => m r' -> (a -> m r'') -> a -> b -> c -> m r'

(<<<**) :: forall a b c d e m r' r''. Monad m => (a -> b -> d -> m r') -> (c -> e -> m r'') -> a -> (b, c) -> (d, e) -> m r'

(<<<*&) :: forall a b c d m r' r''. Monad m => (a -> b -> d -> m r') -> (c -> d -> m r'') -> a -> (b, c) -> d -> m r'

(<<<*>) :: forall a b c d m r' r''. Monad m => (a -> b -> m r') -> (c -> d -> m r'') -> a -> (b, c) -> d -> m r'

(<<<*<) :: forall a b c d m r' r''. Monad m => (a -> b -> d -> m r') -> (c -> m r'') -> a -> (b, c) -> d -> m r'

(<<<*^) :: forall a b c d m r' r''. Monad m => (a -> b -> m r') -> (c -> m r'') -> a -> (b, c) -> d -> m r'

(<<<&*) :: forall a b c d m r' r''. Monad m => (a -> b -> c -> m r') -> (b -> d -> m r'') -> a -> b -> (c, d) -> m r'

(<<<&&) :: forall a b c m r' r''. Monad m => (a -> b -> c -> m r') -> (b -> c -> m r'') -> a -> b -> c -> m r'

(<<<&>) :: forall a b c m r' r''. Monad m => (a -> b -> m r') -> (b -> c -> m r'') -> a -> b -> c -> m r'

(<<<&<) :: forall a b c m r' r''. Monad m => (a -> b -> c -> m r') -> (b -> m r'') -> a -> b -> c -> m r'

(<<<&^) :: forall a b c m r' r''. Monad m => (a -> b -> m r') -> (b -> m r'') -> a -> b -> c -> m r'

(<<<>*) :: forall a b c d m r' r''. Monad m => (a -> c -> m r') -> (b -> d -> m r'') -> a -> b -> (c, d) -> m r'

(<<<>&) :: forall a b c m r' r''. Monad m => (a -> c -> m r') -> (b -> c -> m r'') -> a -> b -> c -> m r'

(<<<>>) :: forall a b c m r' r''. Monad m => (a -> m r') -> (b -> c -> m r'') -> a -> b -> c -> m r'

(<<<><) :: forall a b c m r' r''. Monad m => (a -> c -> m r') -> (b -> m r'') -> a -> b -> c -> m r'

(<<<>^) :: forall a b c m r' r''. Monad m => (a -> m r') -> (b -> m r'') -> a -> b -> c -> m r'

(<<<<*) :: forall a b c d m r' r''. Monad m => (a -> b -> c -> m r') -> (d -> m r'') -> a -> b -> (c, d) -> m r'

(<<<<&) :: forall a b c m r' r''. Monad m => (a -> b -> c -> m r') -> (c -> m r'') -> a -> b -> c -> m r'

(<<<<>) :: forall a b c m r' r''. Monad m => (a -> b -> m r') -> (c -> m r'') -> a -> b -> c -> m r'

(<<<<<) :: forall a b c m r' r''. Monad m => (a -> b -> c -> m r') -> m r'' -> a -> b -> c -> m r'

(<<<<^) :: forall a b c m r' r''. Monad m => (a -> b -> m r') -> m r'' -> a -> b -> c -> m r'

(<<<^*) :: forall a b c d m r' r''. Monad m => (a -> c -> m r') -> (d -> m r'') -> a -> b -> (c, d) -> m r'

(<<<^&) :: forall a b c m r' r''. Monad m => (a -> c -> m r') -> (c -> m r'') -> a -> b -> c -> m r'

(<<<^>) :: forall a b c m r' r''. Monad m => (a -> m r') -> (c -> m r'') -> a -> b -> c -> m r'

(<<<^<) :: forall a b c m r' r''. Monad m => (a -> c -> m r') -> m r'' -> a -> b -> c -> m r'

(<<<^^) :: forall a b c m r' r''. Monad m => (a -> m r') -> m r'' -> a -> b -> c -> m r'

(<<^**) :: forall a b c d e m r' r''. Monad m => (b -> d -> m r') -> (c -> e -> m r'') -> a -> (b, c) -> (d, e) -> m r'

(<<^*&) :: forall a b c d m r' r''. Monad m => (b -> d -> m r') -> (c -> d -> m r'') -> a -> (b, c) -> d -> m r'

(<<^*>) :: forall a b c d m r' r''. Monad m => (b -> m r') -> (c -> d -> m r'') -> a -> (b, c) -> d -> m r'

(<<^*<) :: forall a b c d m r' r''. Monad m => (b -> d -> m r') -> (c -> m r'') -> a -> (b, c) -> d -> m r'

(<<^*^) :: forall a b c d m r' r''. Monad m => (b -> m r') -> (c -> m r'') -> a -> (b, c) -> d -> m r'

(<<^&*) :: forall a b c d m r' r''. Monad m => (b -> c -> m r') -> (b -> d -> m r'') -> a -> b -> (c, d) -> m r'

(<<^&&) :: forall a b c m r' r''. Monad m => (b -> c -> m r') -> (b -> c -> m r'') -> a -> b -> c -> m r'

(<<^&>) :: forall a b c m r' r''. Monad m => (b -> m r') -> (b -> c -> m r'') -> a -> b -> c -> m r'

(<<^&<) :: forall a b c m r' r''. Monad m => (b -> c -> m r') -> (b -> m r'') -> a -> b -> c -> m r'

(<<^&^) :: forall a b c m r' r''. Monad m => (b -> m r') -> (b -> m r'') -> a -> b -> c -> m r'

(<<^>*) :: forall a b c d m r' r''. Monad m => (c -> m r') -> (b -> d -> m r'') -> a -> b -> (c, d) -> m r'

(<<^>&) :: forall a b c m r' r''. Monad m => (c -> m r') -> (b -> c -> m r'') -> a -> b -> c -> m r'

(<<^>>) :: forall a b c m r' r''. Monad m => m r' -> (b -> c -> m r'') -> a -> b -> c -> m r'

(<<^><) :: forall a b c m r' r''. Monad m => (c -> m r') -> (b -> m r'') -> a -> b -> c -> m r'

(<<^>^) :: forall a b c m r' r''. Monad m => m r' -> (b -> m r'') -> a -> b -> c -> m r'

(<<^<*) :: forall a b c d m r' r''. Monad m => (b -> c -> m r') -> (d -> m r'') -> a -> b -> (c, d) -> m r'

(<<^<&) :: forall a b c m r' r''. Monad m => (b -> c -> m r') -> (c -> m r'') -> a -> b -> c -> m r'

(<<^<>) :: forall a b c m r' r''. Monad m => (b -> m r') -> (c -> m r'') -> a -> b -> c -> m r'

(<<^<<) :: forall a b c m r' r''. Monad m => (b -> c -> m r') -> m r'' -> a -> b -> c -> m r'

(<<^<^) :: forall a b c m r' r''. Monad m => (b -> m r') -> m r'' -> a -> b -> c -> m r'

(<<^^*) :: forall a b c d m r' r''. Monad m => (c -> m r') -> (d -> m r'') -> a -> b -> (c, d) -> m r'

(<<^^&) :: forall a b c m r' r''. Monad m => (c -> m r') -> (c -> m r'') -> a -> b -> c -> m r'

(<<^^>) :: forall a b c m r' r''. Monad m => m r' -> (c -> m r'') -> a -> b -> c -> m r'

(<<^^<) :: forall a b c m r' r''. Monad m => (c -> m r') -> m r'' -> a -> b -> c -> m r'

(<<^^^) :: forall a b c m r' r''. Monad m => m r' -> m r'' -> a -> b -> c -> m r'

(<<**) :: forall a b c d m r' r''. Monad m => (a -> c -> m r') -> (b -> d -> m r'') -> (a, b) -> (c, d) -> m r'

(<<*&) :: forall a b c m r' r''. Monad m => (a -> c -> m r') -> (b -> c -> m r'') -> (a, b) -> c -> m r'

(<<*>) :: forall a b c m r' r''. Monad m => (a -> m r') -> (b -> c -> m r'') -> (a, b) -> c -> m r'

(<<*<) :: forall a b c m r' r''. Monad m => (a -> c -> m r') -> (b -> m r'') -> (a, b) -> c -> m r'

(<<*^) :: forall a b c m r' r''. Monad m => (a -> m r') -> (b -> m r'') -> (a, b) -> c -> m r'

(<<&*) :: forall a b c m r' r''. Monad m => (a -> b -> m r') -> (a -> c -> m r'') -> a -> (b, c) -> m r'

(<<&&) :: forall a b m r' r''. Monad m => (a -> b -> m r') -> (a -> b -> m r'') -> a -> b -> m r'

(<<&>) :: forall a b m r' r''. Monad m => (a -> m r') -> (a -> b -> m r'') -> a -> b -> m r'

(<<&<) :: forall a b m r' r''. Monad m => (a -> b -> m r') -> (a -> m r'') -> a -> b -> m r'

(<<&^) :: forall a b m r' r''. Monad m => (a -> m r') -> (a -> m r'') -> a -> b -> m r'

(<<>*) :: forall a b c m r' r''. Monad m => (b -> m r') -> (a -> c -> m r'') -> a -> (b, c) -> m r'

(<<>&) :: forall a b m r' r''. Monad m => (b -> m r') -> (a -> b -> m r'') -> a -> b -> m r'

(<<>>) :: forall a b m r' r''. Monad m => m r' -> (a -> b -> m r'') -> a -> b -> m r'

(<<><) :: forall a b m r' r''. Monad m => (b -> m r') -> (a -> m r'') -> a -> b -> m r'

(<<>^) :: forall a b m r' r''. Monad m => m r' -> (a -> m r'') -> a -> b -> m r'

(<<<*) :: forall a b c m r' r''. Monad m => (a -> b -> m r') -> (c -> m r'') -> a -> (b, c) -> m r'

(<<<&) :: forall a b m r' r''. Monad m => (a -> b -> m r') -> (b -> m r'') -> a -> b -> m r'

(<<<>) :: forall a b m r' r''. Monad m => (a -> m r') -> (b -> m r'') -> a -> b -> m r'

(<<<<) :: forall a b m r' r''. Monad m => (a -> b -> m r') -> m r'' -> a -> b -> m r'

(<<<^) :: forall a b m r' r''. Monad m => (a -> m r') -> m r'' -> a -> b -> m r'

(<<^*) :: forall a b c m r' r''. Monad m => (b -> m r') -> (c -> m r'') -> a -> (b, c) -> m r'

(<<^&) :: forall a b m r' r''. Monad m => (b -> m r') -> (b -> m r'') -> a -> b -> m r'

(<<^>) :: forall a b m r' r''. Monad m => m r' -> (b -> m r'') -> a -> b -> m r'

(<<^<) :: forall a b m r' r''. Monad m => (b -> m r') -> m r'' -> a -> b -> m r'

(<<^^) :: forall a b m r' r''. Monad m => m r' -> m r'' -> a -> b -> m r'

(<<*) :: forall a b m r' r''. Monad m => (a -> m r') -> (b -> m r'') -> (a, b) -> m r'

(<<&) :: forall a m r' r''. Monad m => (a -> m r') -> (a -> m r'') -> a -> m r'

(<<>) :: forall a m r' r''. Monad m => m r' -> (a -> m r'') -> a -> m r'

(<<<) :: forall a m r' r''. Monad m => (a -> m r') -> m r'' -> a -> m r'

(<<^) :: forall a m r' r''. Monad m => m r' -> m r'' -> a -> m r'

(>>***) :: forall a b c d e f m r' r''. Monad m => (a -> c -> e -> m r') -> (b -> d -> f -> m r'') -> (a, b) -> (c, d) -> (e, f) -> m r''

(>>**&) :: forall a b c d e m r' r''. Monad m => (a -> c -> e -> m r') -> (b -> d -> e -> m r'') -> (a, b) -> (c, d) -> e -> m r''

(>>**>) :: forall a b c d e m r' r''. Monad m => (a -> c -> m r') -> (b -> d -> e -> m r'') -> (a, b) -> (c, d) -> e -> m r''

(>>**<) :: forall a b c d e m r' r''. Monad m => (a -> c -> e -> m r') -> (b -> d -> m r'') -> (a, b) -> (c, d) -> e -> m r''

(>>**^) :: forall a b c d e m r' r''. Monad m => (a -> c -> m r') -> (b -> d -> m r'') -> (a, b) -> (c, d) -> e -> m r''

(>>*&*) :: forall a b c d e m r' r''. Monad m => (a -> c -> d -> m r') -> (b -> c -> e -> m r'') -> (a, b) -> c -> (d, e) -> m r''

(>>*&&) :: forall a b c d m r' r''. Monad m => (a -> c -> d -> m r') -> (b -> c -> d -> m r'') -> (a, b) -> c -> d -> m r''

(>>*&>) :: forall a b c d m r' r''. Monad m => (a -> c -> m r') -> (b -> c -> d -> m r'') -> (a, b) -> c -> d -> m r''

(>>*&<) :: forall a b c d m r' r''. Monad m => (a -> c -> d -> m r') -> (b -> c -> m r'') -> (a, b) -> c -> d -> m r''

(>>*&^) :: forall a b c d m r' r''. Monad m => (a -> c -> m r') -> (b -> c -> m r'') -> (a, b) -> c -> d -> m r''

(>>*>*) :: forall a b c d e m r' r''. Monad m => (a -> d -> m r') -> (b -> c -> e -> m r'') -> (a, b) -> c -> (d, e) -> m r''

(>>*>&) :: forall a b c d m r' r''. Monad m => (a -> d -> m r') -> (b -> c -> d -> m r'') -> (a, b) -> c -> d -> m r''

(>>*>>) :: forall a b c d m r' r''. Monad m => (a -> m r') -> (b -> c -> d -> m r'') -> (a, b) -> c -> d -> m r''

(>>*><) :: forall a b c d m r' r''. Monad m => (a -> d -> m r') -> (b -> c -> m r'') -> (a, b) -> c -> d -> m r''

(>>*>^) :: forall a b c d m r' r''. Monad m => (a -> m r') -> (b -> c -> m r'') -> (a, b) -> c -> d -> m r''

(>>*<*) :: forall a b c d e m r' r''. Monad m => (a -> c -> d -> m r') -> (b -> e -> m r'') -> (a, b) -> c -> (d, e) -> m r''

(>>*<&) :: forall a b c d m r' r''. Monad m => (a -> c -> d -> m r') -> (b -> d -> m r'') -> (a, b) -> c -> d -> m r''

(>>*<>) :: forall a b c d m r' r''. Monad m => (a -> c -> m r') -> (b -> d -> m r'') -> (a, b) -> c -> d -> m r''

(>>*<<) :: forall a b c d m r' r''. Monad m => (a -> c -> d -> m r') -> (b -> m r'') -> (a, b) -> c -> d -> m r''

(>>*<^) :: forall a b c d m r' r''. Monad m => (a -> c -> m r') -> (b -> m r'') -> (a, b) -> c -> d -> m r''

(>>*^*) :: forall a b c d e m r' r''. Monad m => (a -> d -> m r') -> (b -> e -> m r'') -> (a, b) -> c -> (d, e) -> m r''

(>>*^&) :: forall a b c d m r' r''. Monad m => (a -> d -> m r') -> (b -> d -> m r'') -> (a, b) -> c -> d -> m r''

(>>*^>) :: forall a b c d m r' r''. Monad m => (a -> m r') -> (b -> d -> m r'') -> (a, b) -> c -> d -> m r''

(>>*^<) :: forall a b c d m r' r''. Monad m => (a -> d -> m r') -> (b -> m r'') -> (a, b) -> c -> d -> m r''

(>>*^^) :: forall a b c d m r' r''. Monad m => (a -> m r') -> (b -> m r'') -> (a, b) -> c -> d -> m r''

(>>&**) :: forall a b c d e m r' r''. Monad m => (a -> b -> d -> m r') -> (a -> c -> e -> m r'') -> a -> (b, c) -> (d, e) -> m r''

(>>&*&) :: forall a b c d m r' r''. Monad m => (a -> b -> d -> m r') -> (a -> c -> d -> m r'') -> a -> (b, c) -> d -> m r''

(>>&*>) :: forall a b c d m r' r''. Monad m => (a -> b -> m r') -> (a -> c -> d -> m r'') -> a -> (b, c) -> d -> m r''

(>>&*<) :: forall a b c d m r' r''. Monad m => (a -> b -> d -> m r') -> (a -> c -> m r'') -> a -> (b, c) -> d -> m r''

(>>&*^) :: forall a b c d m r' r''. Monad m => (a -> b -> m r') -> (a -> c -> m r'') -> a -> (b, c) -> d -> m r''

(>>&&*) :: forall a b c d m r' r''. Monad m => (a -> b -> c -> m r') -> (a -> b -> d -> m r'') -> a -> b -> (c, d) -> m r''

(>>&&&) :: forall a b c m r' r''. Monad m => (a -> b -> c -> m r') -> (a -> b -> c -> m r'') -> a -> b -> c -> m r''

(>>&&>) :: forall a b c m r' r''. Monad m => (a -> b -> m r') -> (a -> b -> c -> m r'') -> a -> b -> c -> m r''

(>>&&<) :: forall a b c m r' r''. Monad m => (a -> b -> c -> m r') -> (a -> b -> m r'') -> a -> b -> c -> m r''

(>>&&^) :: forall a b c m r' r''. Monad m => (a -> b -> m r') -> (a -> b -> m r'') -> a -> b -> c -> m r''

(>>&>*) :: forall a b c d m r' r''. Monad m => (a -> c -> m r') -> (a -> b -> d -> m r'') -> a -> b -> (c, d) -> m r''

(>>&>&) :: forall a b c m r' r''. Monad m => (a -> c -> m r') -> (a -> b -> c -> m r'') -> a -> b -> c -> m r''

(>>&>>) :: forall a b c m r' r''. Monad m => (a -> m r') -> (a -> b -> c -> m r'') -> a -> b -> c -> m r''

(>>&><) :: forall a b c m r' r''. Monad m => (a -> c -> m r') -> (a -> b -> m r'') -> a -> b -> c -> m r''

(>>&>^) :: forall a b c m r' r''. Monad m => (a -> m r') -> (a -> b -> m r'') -> a -> b -> c -> m r''

(>>&<*) :: forall a b c d m r' r''. Monad m => (a -> b -> c -> m r') -> (a -> d -> m r'') -> a -> b -> (c, d) -> m r''

(>>&<&) :: forall a b c m r' r''. Monad m => (a -> b -> c -> m r') -> (a -> c -> m r'') -> a -> b -> c -> m r''

(>>&<>) :: forall a b c m r' r''. Monad m => (a -> b -> m r') -> (a -> c -> m r'') -> a -> b -> c -> m r''

(>>&<<) :: forall a b c m r' r''. Monad m => (a -> b -> c -> m r') -> (a -> m r'') -> a -> b -> c -> m r''

(>>&<^) :: forall a b c m r' r''. Monad m => (a -> b -> m r') -> (a -> m r'') -> a -> b -> c -> m r''

(>>&^*) :: forall a b c d m r' r''. Monad m => (a -> c -> m r') -> (a -> d -> m r'') -> a -> b -> (c, d) -> m r''

(>>&^&) :: forall a b c m r' r''. Monad m => (a -> c -> m r') -> (a -> c -> m r'') -> a -> b -> c -> m r''

(>>&^>) :: forall a b c m r' r''. Monad m => (a -> m r') -> (a -> c -> m r'') -> a -> b -> c -> m r''

(>>&^<) :: forall a b c m r' r''. Monad m => (a -> c -> m r') -> (a -> m r'') -> a -> b -> c -> m r''

(>>&^^) :: forall a b c m r' r''. Monad m => (a -> m r') -> (a -> m r'') -> a -> b -> c -> m r''

(>>>**) :: forall a b c d e m r' r''. Monad m => (b -> d -> m r') -> (a -> c -> e -> m r'') -> a -> (b, c) -> (d, e) -> m r''

(>>>*&) :: forall a b c d m r' r''. Monad m => (b -> d -> m r') -> (a -> c -> d -> m r'') -> a -> (b, c) -> d -> m r''

(>>>*>) :: forall a b c d m r' r''. Monad m => (b -> m r') -> (a -> c -> d -> m r'') -> a -> (b, c) -> d -> m r''

(>>>*<) :: forall a b c d m r' r''. Monad m => (b -> d -> m r') -> (a -> c -> m r'') -> a -> (b, c) -> d -> m r''

(>>>*^) :: forall a b c d m r' r''. Monad m => (b -> m r') -> (a -> c -> m r'') -> a -> (b, c) -> d -> m r''

(>>>&*) :: forall a b c d m r' r''. Monad m => (b -> c -> m r') -> (a -> b -> d -> m r'') -> a -> b -> (c, d) -> m r''

(>>>&&) :: forall a b c m r' r''. Monad m => (b -> c -> m r') -> (a -> b -> c -> m r'') -> a -> b -> c -> m r''

(>>>&>) :: forall a b c m r' r''. Monad m => (b -> m r') -> (a -> b -> c -> m r'') -> a -> b -> c -> m r''

(>>>&<) :: forall a b c m r' r''. Monad m => (b -> c -> m r') -> (a -> b -> m r'') -> a -> b -> c -> m r''

(>>>&^) :: forall a b c m r' r''. Monad m => (b -> m r') -> (a -> b -> m r'') -> a -> b -> c -> m r''

(>>>>*) :: forall a b c d m r' r''. Monad m => (c -> m r') -> (a -> b -> d -> m r'') -> a -> b -> (c, d) -> m r''

(>>>>&) :: forall a b c m r' r''. Monad m => (c -> m r') -> (a -> b -> c -> m r'') -> a -> b -> c -> m r''

(>>>>>) :: forall a b c m r' r''. Monad m => m r' -> (a -> b -> c -> m r'') -> a -> b -> c -> m r''

(>>>><) :: forall a b c m r' r''. Monad m => (c -> m r') -> (a -> b -> m r'') -> a -> b -> c -> m r''

(>>>>^) :: forall a b c m r' r''. Monad m => m r' -> (a -> b -> m r'') -> a -> b -> c -> m r''

(>>><*) :: forall a b c d m r' r''. Monad m => (b -> c -> m r') -> (a -> d -> m r'') -> a -> b -> (c, d) -> m r''

(>>><&) :: forall a b c m r' r''. Monad m => (b -> c -> m r') -> (a -> c -> m r'') -> a -> b -> c -> m r''

(>>><>) :: forall a b c m r' r''. Monad m => (b -> m r') -> (a -> c -> m r'') -> a -> b -> c -> m r''

(>>><<) :: forall a b c m r' r''. Monad m => (b -> c -> m r') -> (a -> m r'') -> a -> b -> c -> m r''

(>>><^) :: forall a b c m r' r''. Monad m => (b -> m r') -> (a -> m r'') -> a -> b -> c -> m r''

(>>>^*) :: forall a b c d m r' r''. Monad m => (c -> m r') -> (a -> d -> m r'') -> a -> b -> (c, d) -> m r''

(>>>^&) :: forall a b c m r' r''. Monad m => (c -> m r') -> (a -> c -> m r'') -> a -> b -> c -> m r''

(>>>^>) :: forall a b c m r' r''. Monad m => m r' -> (a -> c -> m r'') -> a -> b -> c -> m r''

(>>>^<) :: forall a b c m r' r''. Monad m => (c -> m r') -> (a -> m r'') -> a -> b -> c -> m r''

(>>>^^) :: forall a b c m r' r''. Monad m => m r' -> (a -> m r'') -> a -> b -> c -> m r''

(>><**) :: forall a b c d e m r' r''. Monad m => (a -> b -> d -> m r') -> (c -> e -> m r'') -> a -> (b, c) -> (d, e) -> m r''

(>><*&) :: forall a b c d m r' r''. Monad m => (a -> b -> d -> m r') -> (c -> d -> m r'') -> a -> (b, c) -> d -> m r''

(>><*>) :: forall a b c d m r' r''. Monad m => (a -> b -> m r') -> (c -> d -> m r'') -> a -> (b, c) -> d -> m r''

(>><*<) :: forall a b c d m r' r''. Monad m => (a -> b -> d -> m r') -> (c -> m r'') -> a -> (b, c) -> d -> m r''

(>><*^) :: forall a b c d m r' r''. Monad m => (a -> b -> m r') -> (c -> m r'') -> a -> (b, c) -> d -> m r''

(>><&*) :: forall a b c d m r' r''. Monad m => (a -> b -> c -> m r') -> (b -> d -> m r'') -> a -> b -> (c, d) -> m r''

(>><&&) :: forall a b c m r' r''. Monad m => (a -> b -> c -> m r') -> (b -> c -> m r'') -> a -> b -> c -> m r''

(>><&>) :: forall a b c m r' r''. Monad m => (a -> b -> m r') -> (b -> c -> m r'') -> a -> b -> c -> m r''

(>><&<) :: forall a b c m r' r''. Monad m => (a -> b -> c -> m r') -> (b -> m r'') -> a -> b -> c -> m r''

(>><&^) :: forall a b c m r' r''. Monad m => (a -> b -> m r') -> (b -> m r'') -> a -> b -> c -> m r''

(>><>*) :: forall a b c d m r' r''. Monad m => (a -> c -> m r') -> (b -> d -> m r'') -> a -> b -> (c, d) -> m r''

(>><>&) :: forall a b c m r' r''. Monad m => (a -> c -> m r') -> (b -> c -> m r'') -> a -> b -> c -> m r''

(>><>>) :: forall a b c m r' r''. Monad m => (a -> m r') -> (b -> c -> m r'') -> a -> b -> c -> m r''

(>><><) :: forall a b c m r' r''. Monad m => (a -> c -> m r') -> (b -> m r'') -> a -> b -> c -> m r''

(>><>^) :: forall a b c m r' r''. Monad m => (a -> m r') -> (b -> m r'') -> a -> b -> c -> m r''

(>><<*) :: forall a b c d m r' r''. Monad m => (a -> b -> c -> m r') -> (d -> m r'') -> a -> b -> (c, d) -> m r''

(>><<&) :: forall a b c m r' r''. Monad m => (a -> b -> c -> m r') -> (c -> m r'') -> a -> b -> c -> m r''

(>><<>) :: forall a b c m r' r''. Monad m => (a -> b -> m r') -> (c -> m r'') -> a -> b -> c -> m r''

(>><<<) :: forall a b c m r' r''. Monad m => (a -> b -> c -> m r') -> m r'' -> a -> b -> c -> m r''

(>><<^) :: forall a b c m r' r''. Monad m => (a -> b -> m r') -> m r'' -> a -> b -> c -> m r''

(>><^*) :: forall a b c d m r' r''. Monad m => (a -> c -> m r') -> (d -> m r'') -> a -> b -> (c, d) -> m r''

(>><^&) :: forall a b c m r' r''. Monad m => (a -> c -> m r') -> (c -> m r'') -> a -> b -> c -> m r''

(>><^>) :: forall a b c m r' r''. Monad m => (a -> m r') -> (c -> m r'') -> a -> b -> c -> m r''

(>><^<) :: forall a b c m r' r''. Monad m => (a -> c -> m r') -> m r'' -> a -> b -> c -> m r''

(>><^^) :: forall a b c m r' r''. Monad m => (a -> m r') -> m r'' -> a -> b -> c -> m r''

(>>^**) :: forall a b c d e m r' r''. Monad m => (b -> d -> m r') -> (c -> e -> m r'') -> a -> (b, c) -> (d, e) -> m r''

(>>^*&) :: forall a b c d m r' r''. Monad m => (b -> d -> m r') -> (c -> d -> m r'') -> a -> (b, c) -> d -> m r''

(>>^*>) :: forall a b c d m r' r''. Monad m => (b -> m r') -> (c -> d -> m r'') -> a -> (b, c) -> d -> m r''

(>>^*<) :: forall a b c d m r' r''. Monad m => (b -> d -> m r') -> (c -> m r'') -> a -> (b, c) -> d -> m r''

(>>^*^) :: forall a b c d m r' r''. Monad m => (b -> m r') -> (c -> m r'') -> a -> (b, c) -> d -> m r''

(>>^&*) :: forall a b c d m r' r''. Monad m => (b -> c -> m r') -> (b -> d -> m r'') -> a -> b -> (c, d) -> m r''

(>>^&&) :: forall a b c m r' r''. Monad m => (b -> c -> m r') -> (b -> c -> m r'') -> a -> b -> c -> m r''

(>>^&>) :: forall a b c m r' r''. Monad m => (b -> m r') -> (b -> c -> m r'') -> a -> b -> c -> m r''

(>>^&<) :: forall a b c m r' r''. Monad m => (b -> c -> m r') -> (b -> m r'') -> a -> b -> c -> m r''

(>>^&^) :: forall a b c m r' r''. Monad m => (b -> m r') -> (b -> m r'') -> a -> b -> c -> m r''

(>>^>*) :: forall a b c d m r' r''. Monad m => (c -> m r') -> (b -> d -> m r'') -> a -> b -> (c, d) -> m r''

(>>^>&) :: forall a b c m r' r''. Monad m => (c -> m r') -> (b -> c -> m r'') -> a -> b -> c -> m r''

(>>^>>) :: forall a b c m r' r''. Monad m => m r' -> (b -> c -> m r'') -> a -> b -> c -> m r''

(>>^><) :: forall a b c m r' r''. Monad m => (c -> m r') -> (b -> m r'') -> a -> b -> c -> m r''

(>>^>^) :: forall a b c m r' r''. Monad m => m r' -> (b -> m r'') -> a -> b -> c -> m r''

(>>^<*) :: forall a b c d m r' r''. Monad m => (b -> c -> m r') -> (d -> m r'') -> a -> b -> (c, d) -> m r''

(>>^<&) :: forall a b c m r' r''. Monad m => (b -> c -> m r') -> (c -> m r'') -> a -> b -> c -> m r''

(>>^<>) :: forall a b c m r' r''. Monad m => (b -> m r') -> (c -> m r'') -> a -> b -> c -> m r''

(>>^<<) :: forall a b c m r' r''. Monad m => (b -> c -> m r') -> m r'' -> a -> b -> c -> m r''

(>>^<^) :: forall a b c m r' r''. Monad m => (b -> m r') -> m r'' -> a -> b -> c -> m r''

(>>^^*) :: forall a b c d m r' r''. Monad m => (c -> m r') -> (d -> m r'') -> a -> b -> (c, d) -> m r''

(>>^^&) :: forall a b c m r' r''. Monad m => (c -> m r') -> (c -> m r'') -> a -> b -> c -> m r''

(>>^^>) :: forall a b c m r' r''. Monad m => m r' -> (c -> m r'') -> a -> b -> c -> m r''

(>>^^<) :: forall a b c m r' r''. Monad m => (c -> m r') -> m r'' -> a -> b -> c -> m r''

(>>^^^) :: forall a b c m r' r''. Monad m => m r' -> m r'' -> a -> b -> c -> m r''

(>>**) :: forall a b c d m r' r''. Monad m => (a -> c -> m r') -> (b -> d -> m r'') -> (a, b) -> (c, d) -> m r''

(>>*&) :: forall a b c m r' r''. Monad m => (a -> c -> m r') -> (b -> c -> m r'') -> (a, b) -> c -> m r''

(>>*>) :: forall a b c m r' r''. Monad m => (a -> m r') -> (b -> c -> m r'') -> (a, b) -> c -> m r''

(>>*<) :: forall a b c m r' r''. Monad m => (a -> c -> m r') -> (b -> m r'') -> (a, b) -> c -> m r''

(>>*^) :: forall a b c m r' r''. Monad m => (a -> m r') -> (b -> m r'') -> (a, b) -> c -> m r''

(>>&*) :: forall a b c m r' r''. Monad m => (a -> b -> m r') -> (a -> c -> m r'') -> a -> (b, c) -> m r''

(>>&&) :: forall a b m r' r''. Monad m => (a -> b -> m r') -> (a -> b -> m r'') -> a -> b -> m r''

(>>&>) :: forall a b m r' r''. Monad m => (a -> m r') -> (a -> b -> m r'') -> a -> b -> m r''

(>>&<) :: forall a b m r' r''. Monad m => (a -> b -> m r') -> (a -> m r'') -> a -> b -> m r''

(>>&^) :: forall a b m r' r''. Monad m => (a -> m r') -> (a -> m r'') -> a -> b -> m r''

(>>>*) :: forall a b c m r' r''. Monad m => (b -> m r') -> (a -> c -> m r'') -> a -> (b, c) -> m r''

(>>>&) :: forall a b m r' r''. Monad m => (b -> m r') -> (a -> b -> m r'') -> a -> b -> m r''

(>>>>) :: forall a b m r' r''. Monad m => m r' -> (a -> b -> m r'') -> a -> b -> m r''

(>>><) :: forall a b m r' r''. Monad m => (b -> m r') -> (a -> m r'') -> a -> b -> m r''

(>>>^) :: forall a b m r' r''. Monad m => m r' -> (a -> m r'') -> a -> b -> m r''

(>><*) :: forall a b c m r' r''. Monad m => (a -> b -> m r') -> (c -> m r'') -> a -> (b, c) -> m r''

(>><&) :: forall a b m r' r''. Monad m => (a -> b -> m r') -> (b -> m r'') -> a -> b -> m r''

(>><>) :: forall a b m r' r''. Monad m => (a -> m r') -> (b -> m r'') -> a -> b -> m r''

(>><<) :: forall a b m r' r''. Monad m => (a -> b -> m r') -> m r'' -> a -> b -> m r''

(>><^) :: forall a b m r' r''. Monad m => (a -> m r') -> m r'' -> a -> b -> m r''

(>>^*) :: forall a b c m r' r''. Monad m => (b -> m r') -> (c -> m r'') -> a -> (b, c) -> m r''

(>>^&) :: forall a b m r' r''. Monad m => (b -> m r') -> (b -> m r'') -> a -> b -> m r''

(>>^>) :: forall a b m r' r''. Monad m => m r' -> (b -> m r'') -> a -> b -> m r''

(>>^<) :: forall a b m r' r''. Monad m => (b -> m r') -> m r'' -> a -> b -> m r''

(>>^^) :: forall a b m r' r''. Monad m => m r' -> m r'' -> a -> b -> m r''

(>>*) :: forall a b m r' r''. Monad m => (a -> m r') -> (b -> m r'') -> (a, b) -> m r''

(>>&) :: forall a m r' r''. Monad m => (a -> m r') -> (a -> m r'') -> a -> m r''

(>>>) :: forall a m r' r''. Monad m => m r' -> (a -> m r'') -> a -> m r''

(>><) :: forall a m r' r''. Monad m => (a -> m r') -> m r'' -> a -> m r''

(>>^) :: forall a m r' r''. Monad m => m r' -> m r'' -> a -> m r''