You're speaking of "GHC haskell" there. Yes that is the main stream - and this will get solved there sooner or later - but you can also do a fair amount of Haskell without GHC. Eg MicroHs is getting increasingly capable and I believe is highly bootstrappable.

TIL MicroHS. Might try packaging this soon if it is in fact bootstrappable and can be deterministically compiled.