TH_1tuple.hs:11:6: error:
    • Expecting one more argument to ‘Solo’
      Expected a type, but ‘Solo’ has kind ‘* -> *’
    • In an expression type signature: Solo
      In the expression: 1 :: Solo
      In an equation for ‘y’: y = (1 :: Solo)