func foo() -> Typeは成立しないので、ここは悩みどころ