hyperOperator :: (Integer -> Integer -> Integer) -> Integer -> Integer -> Integer
hyperOperator f a 1 = a
hyperOperator f a b = f a (hyperOperator f a (b-1))
succOp :: (Integer -> Integer -> Integer) -> (Integer -> Integer -> Integer)
succOp f = hyperOperator f
tetration = succOp (^)
hyper5 = succOp tetration