>:i (^)
(^):: (Num a, Integral b) => a -> b -> a 	
infixr 8 ^
>:i (**)
class Fractional a => Floating a where
  ...
  (**):: a -> a -> a
  ...
  	
infixr 8 **
>:i (^^)
(^^):: (Fractional a, Integral b) => a -> b -> a  
infixr 8 ^^