多変数アッカーマン関数 in Haskell
http://ideone.com/RWqWj9