Koka is a strongly typed functional-style language with effect types and handlers that compiles to C...