tcfail159.hs:9:11: error:
    • Expecting a lifted type, but got an unlifted type
    • In the pattern: ~(# p, q #)
      In a case alternative: ~(# p, q #) -> p
      In the expression: case h x of ~(# p, q #) -> p