pub trait HasDevice: HasArrayType { type Device: Device<Self::Array>; }
A [HasArrayType] that has a Device for its [HasArrayType::Array]