I assume the original poster is talking about how few types you actually need to write in Flow because of how good the inference is.