仕組み的には実現はできると思いますよ今は一文ずつ型推論を完了させてるから、実装するなら書き換える場所は多いと思うけど。