sub multiply (Rat $a, Rat $b --> Rat) { $a * $b }