メモリ領域などを抽象化ものの羅列って、意味が分からん

ちなみに、Haskell の変数は特定のメモリ領域に付けられたラベル(名前)じゃないよね