lazy使ったこと無いからこのスレで交わされてる内容から推測するんだけど

なんだかlazyって論理型言語の推論機構っぽいですね