FSMOpt.hs: -fno-monomorphism-restriction