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

  Could not match type
          
    Number
          
  with type
       
    Int
       

while checking that type Number
  is at least as general as type Int
while checking that expression 0.0
  has type Int
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.