それはわかりますし考慮した上で書きました．パフォーマンスに大きな影響を与えるほど計算にコストのかかるものって中間状態を生成するまでにも遅延があるので，常に元データと中間状態が一致していることが保証できなかったりするので，それは型で常に一致していることを保証することはできないように思いました． (edited)