Can we un-deprecate GHC's ability to compile to C code? C may be the best option to bridge to mobile, as Android, iOS, and Windows RT do support C/C++ apps.
The C code generated by GHC, except in unregisterised mode, was not particularly suitable for that use.