暗黙生成のexistentialから元のvar具体型へのフィードバックができない

一応コンパイルエラーになってるってことは認知された問題で防がれている、ぶっ壊れる系ではない