ToQC.hs: -fallow-undecidable-instances -fno-monomorphism-restriction RemoveListCompProp.hs: -fallow-undecidable-instances