Error found:
in module Main
at tests/purs/failing/TypedBinders3.purs:8:4 - 8:15 (line 8, column 4 - line 8, column 15)

  Could not match type
       
    Int
       
  with type
          
    String
          

while inferring the type of case 1 of   
                              0 -> true 
                              _ -> false
in value declaration test

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