python3 args annotation syntax, and go `<-`