extension A where E == Optional<T> とか。でも、プロトコルにしてやればいけるから、 @koher のケースは Element : Sequence じゃだめ？