I wonder if a package that defined lots of bogus instances with Unsatisfiable preconditions could be helpful for beginners.
Something like
instead of
Instances for IO and functions could be particularly helpful I think.
10 Likes