The Haskell Unfolder Episode 28: Type Families and Overlapping Instances

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

1 Like