type mismatch for default interface function `a`: expected `[I32, I32] -> [I32]` but found `[] -> []`