failed to validate exported interface `foo`

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