>>932
(time (tarai 200 100 0))は引数のpromiseをつくる時間(≒0)を測定してるだけ
call by needなんだからtimeの内部でその必要がない限りforceされることはない
という解釈ではだめなの？