I’ve been messing a lot with type level programing in the last few months, but always end up being stuck at the point where I need to add bounds for types that are equal, or not.