遅延評価前提のデータ構造って、よ〜するに制御構造だよね？
これはいつ評価される(べき)か、とか考えつつデータ構造を作りながら、
ふとそう思った。