32 | Sum Cardinal Cardinal
33 | Difference Cardinal Cardinal
34 | Product Cardinal Cardinal
35 | Quotient Cardinal Cardinal
38 instance Num Cardinal where
40 x - y = Difference x y
42 negate x = Product (Scalar (-1)) x
45 fromInteger x = Scalar (fromIntegral x)
47 instance Fractional Cardinal where
49 recip x = Quotient (Scalar 1) x
50 fromRational x = Scalar (fromRational x)