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