Category: Do all futures have to be lazy?