I voted it up because a) I'm interested in type theory and I like the idea of something that tries to explain it using C# rather than Haskell b) I wish HN had

I voted it up because a) I'm interested in type theory and I like the idea of something that tries to explain it using C# rather than Haskell b) I wish HN had more of these sorts of articles as opposed to the usual startup/productivity/lifestyle crap