|Reported by:||dmcclean||Owned by:|
|Component:||Compiler (Type checker)||Version:||7.8.1-rc1|
|Type of failure:||None/Unknown||Difficulty:||Unknown|
|Test Case:||Blocked By:|
It would be useful (the case I have at hand is for some scenarios involving checking of physical dimensions) to be able to combine the Data.Dynamic story with the GHC.TypeLits? story.
A Typeable instance for every Nat is the sticking point.
(I do not know if this is even theoretically possible.)