transform Record to HMap when doing cs-gen with Assoc