Re: [Hs-Generics] Support for abstract data types