mult a b = 
    case b of
      0 -> 0
      1 -> a
      _ -> a + mult a b-1