Cross-Compilation: Android / Oculus Quest?

[lancelet]

I'm interested in exploring whether a library incorporating godot-haskell could cross-compile for an Android target; specifically to run on the Oculus Quest devices.

In the Rust world, there is some limited documentation on compiling for Android that accompanies the godot-rust bindings: https://godot-rust.github.io/book/exporting/android.html
I know that cross-compilation is much more involved with ghc, but assuming that a corresponding dynamic library could be built, could I expect that a similar process might work?

Do you know if anyone has actually tried this? (Unlikely, I know. 😄)