search

love-haskell / coercible-utils

Utility functions for Coercible types
https://hackage.haskell.org/package/coercible-utils
BSD 3-Clause "New" or "Revised" License
9 stars 3 forks source link

Type errors involving GetFun and GetArg are hard to read #38

Open treeowl opened 4 years ago

treeowl commented 4 years ago

We don't export GetFun or GetArg. They show up in type errors with fully qualified names and they're nowhere to be found in the Haddocks. Yuck.

kozross commented 4 years ago

I actually have a similar problem in finitary with leaking the un-exported GFinitary, so I'd be interested in how this could be fixed (both here and there).