Here's a typing puzzle: https://mypy-play.net/?mypy=latest&python=3.11&flags=strict&gist=6baf24cc7bc82ac6e8f9995d361f682e
I want to have a method decorator that constrains the type of `self` with respect to a generic, but (obviously) does not _reduce_ the type of `self` to require that it accept any instance of the bound the decorator requires. Do I just need higher-kinded TypeVars for this (https://github.com/python/typing/issues/548) or am I missing something obvious?
@pganssle *very* vigorously agreed here. there are definitely times when I need HKT and I'm like… why am I doing this much indirection, this is silly. but sometimes I bump into a problem like this and I feel like they're really necessary