#8560: undeducable Typeable error with data kinds when deriving Data for GADT in GHC version 7.7.20131122 -------------------------------------+------------------------------------ Reporter: carter | Owner: Type: bug | Status: new Priority: normal | 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 carter): totally reasonable, and honestly I don't need a Data instance for my use case (and i'm not sure what i'd use it for!), I just found this to be quite odd and hence worth reporting, because weird corner cases are worth knowing/documenting. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8560#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler