+
TypeStat
:<:
scalaz
:≺:
scalaz
<~
scalaz
=?>
scalaz
@>
scalaz
@?>
scalaz
@@
scalaz
_arr
Data
_binary
Data
_bool
Data
_date
Data
_dec
Data
_id
Data
_int
Data
_interval
Data
_obj
Data
_str
Data
_time
Data
_timestamp
Data
|-->
scalaz
|>=|
scalaz
|||
TyperW
~>
scalaz
~~>
scalaz
∨
scalaz
⊤
scalaz
⊥
scalaz
⨯
Type
⨿
Type
Type