型推論

値から型ラベルへ矢印が伸びます。注釈はどこにも書いていません。