Fantastic post. Really good to see content aimed not at this topic

It would be good to have the inversion example for a type-based dispatch language/style, rather than the functional style.