T14563.hs:9:39: error:
    • Expected kind ‘TYPE rep -> TYPE rep''’,
        but ‘h’ has kind ‘TYPE rep -> *’
    • In the second argument of ‘Lan’, namely ‘h’
      In the type ‘Lan g h a’
      In the definition of data constructor ‘Lan’