```rust
trait MyPrimeCurve: PrimeCurve where SignatureSize<Self>: ArrayLength<u8> {}
impl<T> MyPrimeCurve for T where T: PrimeCurve, SignatureSize<T>: ArrayLength<u8> {}

trait Foo {
    type Curve: MyPrimeCurve; 
}