Type-level unit testing in Haskell2018-03-21https://jship.github.io/posts/2018-03-21-type-level-unit-testing-in-haskell/ Jason Shipman#haskell#type-level#testing