5This is only necessary if the types cannot be inferred from other sources, such as the call sites.