Switch to use mutable record type for datatype constructor