ยง Lazy reversible computation?