The Haskell Unfolder Episode 28: Type Families and Overlapping Instances

[MangoIV]

@AntC2

that also needs a Proxy for some reason

it doesn’t, if you’re happy with -XAllowAmbigousTypes. Whether you should is a different topic.