I used to do this with .. Java 5. Eclipse live typechecking allowed me to design in Interfaces until I had what I called the parametricity right. The thing is, I stumbled upon this out of paranoia (I hate being wrong down the road). Never was I invited to think or design this way. Maybe with embedded contracts in comments; but not in a real time, live repl prototyping way.