{-# htermination (^) :: Num a => a -> Int -> a #-}