Teste se um valor foi avaliado para a forma normal da cabeça fraca

Em Haskell, é possível testar se um valor foi avaliado para a forma normal da cabeça fraca? Se uma função já existe, eu esperaria que ela tivesse uma assinatura como evaluated :: a -> IO BoolExistem alguns lugares onde vive uma ...