型エイリアスで特化したプロトコルの拡張表現