RE: Permitting trailing commas for record syntax ADT declarations