Refine effects for T.instance

Commit

3 years ago

Refine effects for T.instance We were already able to essentially fold this away, but we were incorrectly tainting :consistency.