Tuning plus commit of a new record type-oriented contribution for Haskell.