kleisli: Fix non-determinism and update test models