T -> T?とか[Cat] -> [Animal] も明示するようにしよう!!!