An experiment with the REPL & contracts