Huh, neat. I just read about this after seeing it as an example in UPenn's CS 194 "Introduction to Haskell" notes.
hailstone :: Integer -> Integer
hailstone n
| n `mod` 2 == 0 = n `div` 2
| otherwise = 3*n + 1