Error found:
in module Main
at tests/purs/failing/Generalization2.purs:6:1 - 7:45 (line 6, column 1 - line 7, column 45)

  Unable to generalize the type of the recursive function test.
  The inferred type of test was:
                                              
    forall t7. Semigroup t7 => Int -> t7 -> t7
                                              
  Try adding a type signature.

in binding group test

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