Intって手書きしてる事で推論上の型変数がPolyTypeからConcreteTypeになっていて、解決済みの採用候補に間違ってぶちこまれるみたいな (edited)