Identifier Expression

identifier expression は、現在の環境に束縛された名前を参照する式である。

Port
MyConfig
mkConfig

評価

識別子は、対応する束縛の thunk を参照する。 束縛が存在しない場合は未定義識別子エラーになる。