We didn't have to add any complexity to the type system to do this; it just fell out of the features we already had.
10:19 AM - 26 Sep 2012
0 replies
2 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.