IsabelleCmds.hs: -fno-monomorphism-restriction