https://github.com/WebAssembly/interface-types/blob/master/proposals/interface-types/Explainer.md