https://9pdf.org/document/q2n9xgne-a-typing-result-for-stateful-protocols-preprint.html