Another step closer to the defunctionalized version of the delimcc transitions