correct variance for FlatMap