@override String display() { final args = argTypes.map((arg) => arg.display()).join(', '); final rets = retTypes.map((arg) => arg.display()).join(', '); return '($args) → ($rets) ${annotations.join(' ')}'; }