> Nothing prevents one to implement a GC on top of existing WebAssembly as it is
Except that efficient GC implementations use concurrency with a shared memory space and locking and memory-barrier instructions that are not yet available in WASM. (AFAIK, please prove me wrong)