Categorizing type systems

mobile.twitter.com