tcfail187.hs:7:6: error:
    • The constructor ‘:::’ should have no arguments, but has been given 2
    • In the pattern: x ::: y
      In an equation for ‘foo’: foo (x ::: y) = ()