
tcfail159.hs:9:11:
    Couldn't match kind `*' against `(#)'
    Kind incompatibility when matching types:
      t0 :: *
      (# Int, Int #) :: (#)
    In the pattern: ~(# p, q #)
    In a case alternative: ~(# p, q #) -> p
