Update typeclass desugaring comment