Subvert your type checker today!2018-10-13https://jship.github.io/posts/2018-10-13-subvert-your-type-checker-today/ Jason Shipman#haskell#type-checkers#plugins