Unified type for applied & named parameter.