I was looking to add some proper annotations to a large, evolving codebase, and find that compiler warnings are better than jira tickets AND inline todos, combined.
One thing I’m missing is the ability to add warnings to typeclass instances. I realize these are not first-class in Haskell (unlike … Purescript?), and don’t have a precise syntax in mind.
Did anybody have a similar experience?