Hi all, an interesting post http://www.pathsensitive.com/2019/07/the-best-refactoring-youve-never-heard.html which can be seen as a request for a user-controlled way to serialize a continuation (to defunctionalize it*). Rémi * i personnally prefer the term of dehydratation.