Since dispatcher.d can take arbitrary progs, reimpl in full Haskell.
Let's improve this later.