let main = mult 2 (plus 3 4) :: Nat