Error found:
in module Main
at tests/purs/failing/2567.purs:7:8 - 7:67 (line 7, column 8 - line 7, column 67)

  A custom type error occurred while solving type class constraints:

    This constraint should be checked


while checking that type Fail (Text "This constraint should be checked") => Int
  is at least as general as type Int
while checking that expression 0
  has type Int
in value declaration foo

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