Error found:
in module Main
at tests/purs/failing/4019-1.purs:26:21 - 26:24 (line 26, column 21 - line 26, column 24)

  Could not match kind
      
    K1
      
  with kind
      
    K2
      

while trying to match type Indexed @Type @K1 @K2 Array
  with type t0
while checking that expression foo
  has type t0 t1 t2 t3
in value declaration bar

where t0 is an unknown type
      t3 is an unknown type
      t1 is an unknown type
      t2 is an unknown type

See https://github.com/purescript/documentation/blob/master/errors/KindsDoNotUnify.md for more information,
or to contribute content related to this error.