Am Dienstag, den 18.07.2017, 11:40 +0200 schrieb Jonas Scholl: > StdGen only contains two strict ints, so forcing it to WHNF is > equivalent to HNF. The rnf function reduces to normal form (NF), not head normal form (HNF). All the best, Wolfgang