```
trait Foo {
    type Curve: PrimeCurve; // How to add where SignatureSize<Self::Curve>: ArrayLength<u8>?
}
```
?