pub type U8<E> = Integer<E, u8>;