> I don't know of ANY pls that require * operands be the same type. Haskell is an example, where the type of * is: (*) :: Num a => a -> a -> a Which says

> I don't know of ANY pls that require * operands be the same type. Haskell is an example, where the type of * is: (*) :: Num a => a -> a -> a Which says that the arguments must be numeric, and of the same type. I think this is the sensible choice from a strongly-typed perspective, and some operation which allows one to multiply a time value should be a separate thing.