let's name this Repl.  Implicits is a bit vague.