MicroHs in the browser

Since the last step before going to combinators is untyped lambda calculus, I would think you could get PLAN from that. You’d have avoid anything Haskell specific, say forkIO or MVar, of course.