Fix monomorphisation retrigger bug