Prototype new command-response/free monad interface in Agda.