Test, ob ein Wert als schwache Kopfnormalform bewertet wurde

st es in Haskell möglich zu testen, ob ein Wert als schwache Kopfnormalform bewertet wurde? Wenn eine Funktion bereits existiert, würde ich erwarten, dass sie eine Signatur wie @ ha evaluated :: a -> IO BoolEs gibt einige Orte, an denen ähnliche ...