Type.Data.Num
type family Negate x
type family IsPositive x
type family IsZero x
type family IsNegative x
type family IsNatural x
type family One repr
type family Succ x
type family Pred x
type family IsEven x
type family IsOdd x
type family x :+: y
type family x :-: y
type family x :*: y
type family Mul2 x
type family Pow2 x
type family Log2Ceil x
type family DivMod x y
type family Div x y
type family Mod x y
type family Div2 x
type family Fac x
data Singleton d
class Representation r
class Integer x
class Natural x
class Positive x
class Negative x