{- This test illustrates how the `with` keyword is permitted to extend a record
   with new fields
-}
{ a = 1 } with b = 2