これ、引数や返り値だけじゃなく、レシーバについてもannotateしたいな。
PythonやCLOSみたいだと引数と同列なんだが。