Re: [Hs-Generics] A Lightweight Implementation of Generics and Dynamics (LIGD)