Forcing a `ModIface` leaves thunks in `MINIMAL` pragmas
Forcing a ModIface (via forceModIface or using its NFData instance directly) still can leave thunks in the MINIMAL pragmas of class definitions. I don't have a self-contained reproducer to demonstrate this, but it's easy to see that the NFData instance of IfaceClassBody doesn't force the MINIMAL pragma's representation.
Edited by Gergő Érdi