Dan Doel writes:
It seems to me the problem is that there's no way
to define classes by consecutive cases to match the family definitions.
Thanks Dan, yes we've an impedance mis-match.
Closed logic for type families;
Open (or Distributed) logic for class instances.
I see two possible
Richard Eisenberg writes:
This is all expected behavior. ...
Thank you Richard. So to be clear what it is that's expected:
For any class with overlapping instances
that calls on a Closed Type Family,
for all [**] instances,
expect to put a type equality constraint,
whose LHS is exactly the