Error found:
in module DuplicateProperties
at tests/purs/failing/DuplicateProperties.purs:12:18 - 12:32 (line 12, column 18 - line 12, column 32)

  Could not match type
               
    ( y :: Unit
    ...        
    )          
               
  with type
               
    ( x :: Unit
    ...        
    | t0       
    )          
               

while trying to match type Test t1
  with type Test         
              ( x :: Unit
              | t0       
              )          
while checking that expression subtractX hasX
  has type Test         
             ( x :: Unit
             | t0       
             )          
in value declaration baz

where t0 is an unknown type
      t1 is an unknown type

See https://github.com/purescript/documentation/blob/master/errors/TypesDoNotUnify.md for more information,
or to contribute content related to this error.