obj
IEquatable<'a Positive>
IStructuralEquatable
IComparable<'a Positive>
IComparable
IStructuralComparable
Positive 'a
'a