1 --!!! Another bug in overloaded n+k patts
4 main = print ((4::Int) ^^^^ (6::Int))
6 (^^^^) :: (Num a, Integral b) => a -> b -> a
11 g x n | even n = g (x*x) (n `quot` 2)
12 | otherwise = f x (n-1) (x*y)
13 _ ^^^^ _ = error "(^^^^){Prelude}: negative exponent"