Generic record combinators with static type checking. - Jeltsch, Wolfgang (2010)