implement typesafe path for single step with FromTraversable type class