T12788.hs:9:14: error: Empty record update