[Haskell] Re: Re: RE: Extensible records: Static duck typing