Error found:
in module DoNotSuggestComposition
at tests/purs/failing/DoNotSuggestComposition.purs:13:11 - 13:12 (line 13, column 11 - line 13, column 12)

  Could not match type
              
    { y :: Int
    }         
              
  with type
          
    String
          

while checking that type { y :: Int
                         }         
  is at least as general as type String
while checking that expression x
  has type String
in value declaration bar

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