#4259: Relax restrictions on type family instance overlap ----------------------------------------+----------------------------------- Reporter: lilac | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler (Type checker) | Version: 6.12.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ----------------------------------------+----------------------------------- Comment(by carter): well said, I have some thoughts on this. or at least my naive interpretation of a possible unifying point in the design space. I'll add a note on it to this ticket once i've thought about it a bit more -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/4259#comment:28 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler