Monadic concurrency over simply typed lambda calculus. Does not work as
of yet.