Trace FlatMap(prev, f, fExpr) by instantiating f supplied with zeroTypes
Traverse expression sequence recursively