T14174.hs:6:27: error: • Expecting one more argument to ‘x’ Expected kind ‘x Int’, but ‘x’ has kind ‘* -> *’ • In the second argument of ‘T’, namely ‘x’ In the type ‘(T (x Int) x)’ In the definition of data constructor ‘MkS’