This is the only thing left from the type system wishlist that doesn't have it's own issue.

• The paper: http://homepages.inf.ed.ac.uk/jmorri14/pubs/morris-icfp2010-instances.pdf
• Some interesting discussions on the GHC Trac: https://ghc.haskell.org/trac/ghc/ticket/9334