With -fstrictness-before=n, GHC runs an additional strictness analysis pass before simplifier phase n.