insert a variable at this position. and the expression value in the where part.
runW rshowp (1::Int) -> 1
runW (insertVar rshowp) (1::Int) -> v1 where { v1=1}
This is useful when the object is referenced many times