Re: Permitting trailing commas for record syntax ADT declarations