You are not wrong, the talk talked about the benefits of types, but focusing on Flow