How to remove a field from a record in purescript

how to remove a field from a record
Posted on December 15, 2019