pointers - Haskellランタイムは遅延値をどのように表現しますか?

Question

私はこの質問をどのように表現したらよいかさえわかりません。評価されていない式へのポインタがあると仮定します。要求された場合 (強制する厳密な関数によって)、ポインター値は評価された値に置き換えられます。右？私が間違っている？

したがって、すべてのポインターには、評価されたかどうかを示すフラグがあると思います。

空のリストの先頭のように、評価が未定義の場合はどうなるでしょうか? 「ポインタ」には何が格納されていますか？