&&
Bool
*
Dense
Nat
+
Dense
Nat
++
SizedVector
+:
SizedVector
->>
Bool
:**:
TupleIndexOps
:*:
TupleIndexOps
:+
SizedVector
:++:
HListOps
:+:
HList
HListOps
Typequux
::
Dense
<
Dense
Nat
<=
Dense
Nat
===
Dense
Nat
>
Dense
Nat
>=
Dense
Nat
^
Dense
Nat
_0
Dense
Nat
_1
Dense
Nat
_10
Dense
_11
Dense
_12
Dense
_13
Dense
_14
Dense
_15
Dense
_16
Dense
_17
Dense
_18
Dense
_19
Dense
_2
Dense
Nat
_20
Dense
_21
Dense
_22
Dense
_3
Dense
Nat
_4
Dense
Nat
_5
Dense
Nat
_6
Dense
Nat
_7
Dense
Nat
_8
Dense
Nat
_9
Dense
Nat
||
Bool
~>
typequux