T14740.hs:5:7:
     Expecting a lifted type, but ‘(# #)’ is unlifted
     In the type signature: x :: ((# #)) => ()