Trait Quire
softposit
pub trait Quire { type Q; }
type Q
impl Quire for P16E1
type Q = Q16E1
impl Quire for P32E2
type Q = Q32E2
impl Quire for P8E0
type Q = Q8E0