Add method to help with strict containers

I propose an `NFData` method (by some name)

```haskell
whnfIsNf :: proxy a -> Bool
whnfIsNf _ = False
```

Then we can have, for example,

```haskell
instance NFData Integer where
whnfIsNf _ = True
instance NFData a => NFData (Set a) where
whnfIsNf _ = whnfIsNf (Proxy :: Proxy a)
rnf
| whnfIsNf (Proxy :: Proxy a)
= \ !_ -> ()
| otherwise
= ....
```

This can avoid a bunch of unnecessary traversals.

Beginne mit der Durchsicht des NFData-Interfaces und der vorgeschlagenen Set-Instanz und untersuche anschließend, wie strikte Container derzeit durchlaufen werden. Der Issue nennt keine Dateien oder Tests; für die Fertigstellung müssten der Methodenname und die Semantik festgelegt, die relevante NFData-Unterstützung hinzugefügt und gezeigt werden, dass unnötige Durchläufe vermieden werden.

Vom Indexierungsmodell aus dem Issue-Text verfasst.