PfePropCmds.hs: -fno-monomorphism-restriction
PFE_Certs.hs: -fno-monomorphism-restriction