Just do it while compiling!: fast extensible records in haskell. - Bruno Martinez; Marcos Viera; Alberto Pardo (PEPM, 2013)