Testing freshInstPartial
Testing freshInstPartial
Testing freshInstPartial
freshInstPartial is more general than freshInst
Testing freshInstPartial for Qual
Error on too many types for freshInstPartial
Testing freshInstPartial for Qual
Testing freshInstPartial for Qual
Testing freshInstPartial for Qual
Testing toQual
Testing toQual