プロトコルに後付けするんじゃなくて、絞ったwhere付きのプロトコルを別名で定義するのがやりたい事？