Haskell: Принимающие значение по умолчанию ограничения для ввода

Рассмотрите этот пример:

applyKTimes :: Integral i => i -> (a -> a) -> a -> a
applyKTimes 0 _ x = x
applyKTimes k f x = applyKTimes (k-1) f (f x)

applyThrice :: (a -> a) -> a -> a
applyThrice = applyKTimes 3

3 в applyThrice принят значение по умолчанию GHC к Integer как показано при компиляции с -Wall:

Warning: Defaulting the following constraint(s) to type 'Integer'
         'Integral t'
           arising from a use of 'applyKTimes'

Таким образом, я предполагаю это Integer значение по умолчанию Integral a => a.

• Существует ли способ определить "типы по умолчанию" для других ограничений также?
• Использует плохую практику типов значения по умолчанию? (это действительно жалуется при использовании -Wall..)