それは、T が () -> Int になるだけだと思う