Add test which maps a polymorphic function over record fields
Add 'updateWith' function.