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

  The inferred type
                                           
    forall t8 t11. Show t8 => t11 -> String
                                           
  has type variables which are not determined by those mentioned in the body of the type:

    t8 could not be determined

  Consider adding a type annotation.

in value declaration test

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