Error found:
in module NestedRecordLabelOnTypeError
at tests/purs/failing/NestedRecordLabelOnTypeError.purs:8:9 - 8:15 (line 8, column 9 - line 8, column 15)

  Could not match type
       
    Int
       
  with type
          
    String
          

while matching label c
while matching label b
while matching label a
while checking that type { a :: { b :: { c :: Int
                                       }         
                                }                
                         }                       
  is at least as general as type { a :: { b :: { c :: String
                                               }            
                                        }                   
                                 }                          
while checking that expression record
  has type { a :: { b :: { c :: String
                         }            
                  }                   
           }                          
in value declaration error

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