Draft: Use closed type family equations to infer type family arguments
This is a fix for #23162.
It's not working at the moment -- still need to debug. Posting to share WIP.
This is a fix for #23162.
It's not working at the moment -- still need to debug. Posting to share WIP.