Is it possible to recover constraints when using Dynamic/fromDynamic in Haskell?

Question

I am designing a system which needs to track tables of different types. It would be highly convenient to have one authoritative list of the tables*, and the best way to have