(This is mostly going to be a ramble that is me sort of trying to think out loud but I'll post it to the internet for some reason)
Been poking at my toy language idea in flagrant disregard for all sensible advice to, uh, checks notes "don't do that", and I made what I feel is a pretty good decision in terms of type syntax, but it's made a different piece of the syntax a little uglier.