10 | Sum Cardinal Cardinal
11 | Difference Cardinal Cardinal
12 | Product Cardinal Cardinal
13 | ScalarProduct Double Cardinal
16 instance Num Cardinal where
18 x - y = Difference x y
20 negate x = ScalarProduct (-1) x
23 fromInteger _ = F -- Whatever.