trait Field {}

trait Vector {
    type MyField: Field;
    fn norm() -> Self::MyField;
}

struct BaseFieldPrinter<F: Field>;

impl<V: Vector> BaseFieldPrinter<V::MyField> {
}