2 Mar
2007
2 Mar
'07
6:55 p.m.
the current type: data Dynamic = Dynamic TypeRep Obj the new type, if lucky: data Dynamic = Dynamic !(a -> TypeRep) a if unlucky: data TypeableD a = TypeableD (a -> TypeRep) data Dynamic = Dynamic (TypeableD a) a either way, the typeclass approach gives a lot more boxing.