set out to write a short little blog post on the foundations of session types but it looks like I'm gonna have trouble keeping it under 10K words 😅