obj
IEquatable<Idiomatic>
IStructuralEquatable
IComparable<Idiomatic>
IComparable
IStructuralComparable
Idiomatic
Idiomatic $ J
J
^a -> ^c -> 'd
Idiomatic $ Ji
Ji
^a -> ^b
Idiomatic $ Ii
Ii
'a -> 'a
Idiomatic $ si
^a
^b -> ^d -> 'e