GHC issueshttps://gitlab.haskell.org/ghc/ghc/-/issues2019-07-07T18:48:57Zhttps://gitlab.haskell.org/ghc/ghc/-/issues/7624Handling ImplicitParams in Instance Declaration2019-07-07T18:48:57ZphilipjfHandling ImplicitParams in Instance DeclarationThe GHC documentation states that `ImplicitParam`'s may not be used in class or instance declaration constraints. see for example http://www.haskell.org/ghc/docs/7.6.1/html/users_guide/other-type-extensions.html In practice though, at le...The GHC documentation states that `ImplicitParam`'s may not be used in class or instance declaration constraints. see for example http://www.haskell.org/ghc/docs/7.6.1/html/users_guide/other-type-extensions.html In practice though, at least on the Mac, all recent version of GHC have permitted such instances. At the very least the documentation should make clear that the compiler might permit such instances, but they have undefined behaviour. Ideally, these would simply be permitted.
[Why I think the (undocumented) current behavior is correct](http://joyoftypes.blogspot.com/2013/01/using-compiler-bugs-for-fun-and-profit.html)
\[\[BR\]\]
[reddit discussion thereof](http://www.reddit.com/r/haskell/comments/178w9u/using_compiler_bugs_for_fun_and_profit/)8.0.1