{-# LANGUAGE ExplicitForAll #-} module Hextra.Num where import Hextra.Function (<->) :: forall n. (Num n) => n -> n -> n <-> :: n -> n -> n (<->) = n -> n forall a. Num a => a -> a abs (n -> n) -> (n -> n -> n) -> n -> n -> n forall b c a. (b -> c) -> (a -> a -> b) -> a -> a -> c .> (-) -- ^ Absolute difference of Nums.