Wherein we revisit our previous type-level shenanigans and find that we got more tricks up our collective sleeves.