T11516.hs:12:16: error:
    • Expected kind ‘i -> i -> *’, but ‘()’ has kind ‘*’
    • In the first argument of ‘Varpi’, namely ‘()’
      In the instance declaration for ‘Varpi (->) (->) (Either f)’