Error found: in module Main at tests/purs/failing/InstanceSigsIncorrectType.purs:8:1 - 10:13 (line 8, column 1 - line 10, column 13) Could not match type    Boolean   with type    Number   while trying to match type Foo$Dict t0 with type Foo$Dict Number while checking that expression Foo$Dict { foo: true  }  has type Foo$Dict Number in value declaration fooNumber where t0 is an unknown type See https://github.com/purescript/documentation/blob/master/errors/TypesDoNotUnify.md for more information, or to contribute content related to this error.