[Haskell-cafe] Preserving data type information
stephen.tetley at gmail.com
Sat Dec 12 11:18:19 EST 2009
Dynamic types are a possibility, if you want to handle an 'open set' of types:
Although I don't see your use case as needing heterogeneous lists,
section 2 of the HList paper enumerates the design options available
for 'open types' (the authors conclude against dynamics in this case).
More information about the Haskell-Cafe