Challenge: implement automatic type-level permutation

[effectfully]

@Las

What is needed I think is a way of optimistically unifying x and y if possible, and if not skipping it.

I have a post about exactly this.