This week I got type inference back into my editor and used it to demonstrate how the first class case statements in the language work. https://vimeo.com/823083943?share=copy#t=136