Prelude> (3*(4-))$ 2
? Non type-variable argument in the constraint: Num (a -> a)
(Use FlexibleContexts to permit this)
? When checking the inferred type
it :: forall a. (Num (a -> a), Num a) => a
Prelude> (3*).(4-)$ 2
6
Prelude> (3*(4-))$ 2
? Non type-variable argument in the constraint: Num (a -> a)
(Use FlexibleContexts to permit this)
? When checking the inferred type
it :: forall a. (Num (a -> a), Num a) => a
Prelude> (3*).(4-)$ 2
6