あー、いや正確には ()型の typealias であって、()値と ()型は違います。