実装がそのままfuncなんだから、一つずつ違う型になる