InstanceSigsBodyIncorrect.out

Error found:
in module [33mMain[0m
at tests/purs/failing/InstanceSigsBodyIncorrect.purs:10:9 - 10:13 (line 10, column 9 - line 10, column 13)

  Could not match type
  [33m         [0m
  [33m  Boolean[0m
  [33m         [0m
  with type
  [33m        [0m
  [33m  Number[0m
  [33m        [0m

while checking that type [33mBoolean[0m
  is at least as general as type [33mNumber[0m
while checking that expression [33mtrue[0m
  has type [33mNumber[0m
in value declaration [33mfooNumber[0m

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