#8565: New GeneralisedNewtypeDeriving needs help with higher rank types -------------------------------------------------+------------------------- Reporter: simonpj | Owner: Type: bug | Status: Priority: normal | closed Component: Compiler | Milestone: Resolution: fixed | Version: 7.6.3 Operating System: Unknown/Multiple | Keywords: Type of failure: None/Unknown | Architecture: Test Case: | Unknown/Multiple typecheck/should_compile/T8565 | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Changes (by nomeata): * status: new => closed * resolution: => fixed Comment: After a day of refactoring I got it to work. The code will still need `{-# LANGUAGES ImpredicativeTypes #-}, but otherwise things work as expected. Pushing as we speak... -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8565#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler