koher 10/18/2017 1:33 AM

HigherKindedType は諦めてます。

1:33 AM

変性は正直あんま必要にならないんですよねぇ。

1:34 AM

そもそも値型の範囲だとサブタイピングがないし。