Error found:
in module Main
at tests/purs/failing/SkolemEscape2.purs:9:1 - 11:9 (line 9, column 1 - line 11, column 9)

  The type variable r, bound at

    tests/purs/failing/SkolemEscape2.purs:10:21 - 10:34 (line 10, column 21 - line 10, column 34)

  has escaped its scope, appearing in the type
                           
    t1 -> t2 (STRef r0 Int)
                           

in the expression \$0 ->                                        
                    ((bind $dictBind1) ((...) (...))) (\r ->    
                                                         (...) r
                                                      )         
in value declaration test

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