Probar si un valor ha sido evaluado en forma normal de cabeza débil

En Haskell, ¿es posible probar si un valor ha sido evaluado en forma normal de cabeza débil? Si ya existe una función, esperaría que tuviera una firma como evaluated :: a -> IO BoolHay algunos lugares donde vive una funcionalidad similar. A ...