Error found:
in module [33mMain[0m
at tests/purs/failing/SkolemEscapeKinds.purs:8:10 - 8:17 (line 8, column 10 - line 8, column 17)

  The type variable [33mk[0m, bound at

    tests/purs/failing/SkolemEscapeKinds.purs:8:16 - 8:17 (line 8, column 16 - line 8, column 17)

  has escaped its scope, appearing in the type
  [33m       [0m
  [33m  Proxy[0m
  [33m       [0m

in type synonym [33mB[0m

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