#1496: Newtypes and type families combine to produce inconsistent FC(X) axiom sets ----------------------------------------+----------------------------------- Reporter: sorear | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.6.2 Component: Compiler (Type checker) | Version: 6.7 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: 5498 Related: | ----------------------------------------+----------------------------------- Comment(by simonpj): See also [http://lukepalmer.wordpress.com/2013/03/04/how-gadts-inhibit- abstraction/ How GADTs inhibit abstraction]. I have not studied it closely but it's clearly relevant. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1496#comment:41 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler