そうそう

9:40 AM

型推論優先ルール、束縛条件が強いほうが強いに則って、亜空間推論が普遍推論より優先されて

9:40 AM

超面白い

9:41 AM

返り値引数をassoctypeのalias名のまま書くと、亜空間推論は起きない