getting type safety for outE and inV steps