AL
я к тому, что в хаскелле всё это побито на тайпкласссы
дык это, num со времени скриншота выше уже сам сильно поменяться успел - теперь Num типаж заметно менее пугающе выглядит: https://docs.rs/num/0.2.1/num/trait.Num.html
(теперь NumOps стремненький, хе)
pub trait Num: Zero + One + NumOps<Self, Self> + PartialEq<Self> {
type FromStrRadixErr;
fn from_str_radix(
str: &str,
radix: u32
) -> Result<Self, Self::FromStrRadixErr>;
}(теперь NumOps стремненький, хе)