Jak zapewnić jawne deklaracje typów dla funkcji podczas korzystania z GHCi?

Jak zdefiniować odpowiednik tej funkcji (zaczerpnięty z } ) wewnątrz GHCi?

import Data.List  

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

Bez deklaracji typu, GHCi akceptuje definicję funkcji, ale kończy się ona nieprzydatnym typem:

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

Wynikowa funkcja przyjmuje tylko listę jednostek jako parametr.

Czy Jest jakiś sposób na dostarczenie deklaracji typu w GHCi? A może jest inny sposób na zdefiniowanie takich funkcji, które nie wymagają deklaracji typu?

I saw no oczywiste wskazówki w podręczniku GHCi i eksperymentował z wyrażeniami takimi jak następujące (bezskutecznie):

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