I'm happy to announce a new #haskell library — type-errors-pretty! 
My last blog post shows why you should care about writing custom type errors, and now the library helps with defining messages of the errors easily.https://github.com/chshersh/type-errors-pretty …
-
hey
@propensive, a new library idea
Oh, I already tried this! There's a trick you can do with implementing an implicit conversion from the wrong type to the right type with a macro, and have that macro print a nice error message before failing to compile. I couldn't make it general enough, though...
