Data.Promotion.Prelude.Num
class PNum kproxy
type family Subtract (a :: a) (a :: a) :: a where ...
data (:+$) l
data l :+$$ l
type t :+$$$ t
data (:-$) l
data l :-$$ l
type t :-$$$ t
data (:*$) l
data l :*$$ l
type t :*$$$ t
data NegateSym0 l
type NegateSym1 t
data AbsSym0 l
type AbsSym1 t
data SignumSym0 l
type SignumSym1 t
data FromIntegerSym0 l
type FromIntegerSym1 t
data SubtractSym0 l
data SubtractSym1 l l
type SubtractSym2 t t