haskell@gentoo.org Gentoo Haskell For examples and an introduction to the library please take a look at the <https://github.com/CRogers/should-not-typecheck#should-not-typecheck- README> on github. CRogers/should-not-typecheck