#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