#::
EnumeratorT
%=
IterateeT
&=
IterateeT
:^
EnumeratorP
<~
scalaz
=?>
scalaz
>-
StepT
>>==
IterateeT
>@>
iteratee
@>
scalaz
@?>
scalaz
@@
scalaz
^:
EnumeratorP
|-->
scalaz
|>=|
scalaz
~>
scalaz
~~>
scalaz
⊤
scalaz
⊥
scalaz