row-types-1.0.1.2: Open Records and Variants