Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog Records, sums, cases, and exceptions: Row-polymorphism at work