Error found:
in module Main
at tests/purs/failing/InstanceSigsDifferentTypes.purs:8:1 - 10:12 (line 8, column 1 - line 10, column 12)

  Could not match type
       
    Int
       
  with type
          
    Number
          

while checking that type Int
  is at least as general as type Number
while checking that expression 0.0
  has type Number
in value declaration fooNumber

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