#8707: Kind inference fails in data instance definition -------------------------------------+------------------------------------ Reporter: goldfire | Owner: jstolarek Type: feature request | Status: new Priority: low | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by goldfire): Given the (current) separation between types and kinds, I'm not 100% convinced that the `SingDF` case is the same as your `T` case, but I can see how these might become the same in the future. I agree with the reclassification as a feature request, and that there are bigger fish to fry, so I agree to table this one. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8707#comment:15 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler