mixed-types-num

Alternative to Haskell Prelude.Num, deriving types bottom-up