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

  Visible dependent quantification of type variable k is not supported.
  If you would like this feature supported, please bother Liam Goodacre (@LiamGoodacre).

in type synonym Hmm

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