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