L langdev.stackexchange.com How should I read type system notation? 349 points mpweiher 3 years ago 92 comments