型の中に式があるのではなくて、型と式のタプルに修正しました。 こんな感じで、式に対して、castを必要な箇所に挿入できるようになります。 これを、関数のある言語について拡張していければいいんでしょうが、 その為には環境を持ってうんぬんしないといけ…