De Application Controlled Execution-thesis wordt uitgevoerd op @monad