RE: UHC-like JavaScript backend in GHC