undeducable Typeable error with data kinds when deriving Data for GADT in GHC version 7.7.20131122
|Reported by:||carter||Owned by:|
|Type of failure:||None/Unknown||Difficulty:||Unknown|
|Test Case:||Blocked By:|
This may be an artifact of issue #8128 (see https://ghc.haskell.org/trac/ghc/ticket/8128#comment:5), but I'm seeing examples involving data kinds where Typeable isn't deducible. This could be an artifact of other problems, BUT since with 7.7 onwards, we have baked in polykinded Typeable, things should always "just work™" right?
the error with current head is as follows (and i'm attaching the code + current finger print too)