| Max | Data.TypeLevel.Num.Ops, Data.TypeLevel.Num, Data.TypeLevel | | max | Data.TypeLevel.Num.Ops, Data.TypeLevel.Num, Data.TypeLevel | | Min | Data.TypeLevel.Num.Ops, Data.TypeLevel.Num, Data.TypeLevel | | min | Data.TypeLevel.Num.Ops, Data.TypeLevel.Num, Data.TypeLevel | | Mod | Data.TypeLevel.Num.Ops, Data.TypeLevel.Num, Data.TypeLevel | | mod | Data.TypeLevel.Num.Ops, Data.TypeLevel.Num, Data.TypeLevel | | Mul | Data.TypeLevel.Num.Ops, Data.TypeLevel.Num, Data.TypeLevel | | Mul10 | Data.TypeLevel.Num.Ops, Data.TypeLevel.Num, Data.TypeLevel | | mul10 | Data.TypeLevel.Num.Ops, Data.TypeLevel.Num, Data.TypeLevel |
|