記号論。

大なり">" 小なり"<" という記号は普通は反射律を満たさない順序関係を表す演算子として使われるので、多相ヴァリアントの型を見ていると、微妙に違和感を感じる。

うーん、でも型も集合みたいなもんだからなぁ。

[> `A | `B]

を集合として

{ S | S ⊃ {`A, `B} }

と読んでしまえば、"⊃" は反射律を満たすものだと思えるし別にいいのかな。
まぁ慣れの問題なんでしょうけど。