avoid unneccessary typechecking before running a map from eclipse