A lovely example of extensible type systems evolving independently from the underlying language! https://twitter.com/soprano/status/898664668079693824