hanoi :: a -> a -> a -> Int -> [(a, a)]

hanoi a b c n = hanoi_helper a b c n

Note that now hanoi is exactly the same function as hanoi_helper, so you may as well just get rid of hanoi_helper. =)

-Brent