JS
здесь видно, что тип функции не обязателен
^, ^^ и **Prelude> :i ^
(^) :: (Num a, Integral b) => a -> b -> a -- Defined in ‘GHC.Real’
infixr 8 ^
Prelude> :i ^^
(^^) :: (Fractional a, Integral b) => a -> b -> a
-- Defined in ‘GHC.Real’
infixr 8 ^^
Prelude> :i **
class Fractional a => Floating a where
...
(**) :: a -> a -> a
...
-- Defined in ‘GHC.Float’
infixr 8 **
Тебе нужен
**
