-
Implementing type-safe heterogeneous collections on the Haskell Discourse.
-
Some relevant modules from
base:Data.TypeableType.Reflectionthat provides a more "powerful", type-indexed version of theTypeReps fromData.Typeable,Data.DynamicData.Type.Equalitythat providestestEquality.
-
"A reflection on types" paper (2016) that explains the theory behind
Type.Reflection. A talk on the subject by Stephanie Weirich.