return type specification with -> instead of :