Type.Eq.Poly

(|.|)

applyEq

(|$|)

constructorEq

dynamicEq1

dynamicEq2

dynamicEq3

dynamicEq4

dynamicEq5

dynamicEq6

dynamicEq7

sameOuterEq

Compatibility with Type.Eq.Higher

fromEq1

toEq1

fromEq2

toEq2

fromOuterEq1

toOuterEq1

fromInnerEq1

toInnerEq1