> whereas laziness lets you use bottom in principle, only if you can prove you don't use the result. there's nothing wrong with not calculating a value that do

> whereas laziness lets you use bottom in principle, only if you can prove you don't use the result. there's nothing wrong with not calculating a value that doesn't exist.