This is an excellent resource for learning about the finer points of type systems, precisely because it shows their potential breaking points an how things migh

This is an excellent resource for learning about the finer points of type systems, precisely because it shows their potential breaking points an how things might go awry.