Как предоставить явные описания типа для функций при использовании GHCi?

Как я определяю эквивалент этой функции (взятый от learnyouahaskell) в GHCi?

import Data.List  

numUniques :: (Eq a) => [a] -> Int  
numUniques = length . nub  

Без описания типа GHCi принимает функциональное определение, но это заканчивается с бесполезным типом:

Prelude Data.List> import Data.List 
Prelude Data.List> let numUniques' = length . nub
Prelude Data.List> :t numUniques'
numUniques' :: [()] -> Int

Получающаяся функция только принимает список единиц в качестве параметра.

Существует ли путь, предоставляют описания типа в GHCi? Или там другой путь состоит в том, чтобы определить функции как они, который не требует описаний типа?

Я не видел очевидных подсказок в руководстве GHCi и экспериментировал с выражениями как следующее (напрасно):

> let numUniques' = ((length . nub) :: (Eq a) => [a] -> Int)
> :t numUniques'
numUniques' :: [()] -> Int