Rollback because it does not work for higher order functions