TC instance for abstract synonym types
@johnvg, is there a true semantic or technical issue that prevents us from adding a TC instance for abstract synonym types of types that have a TC instance? I see no reason for this restriction (perhaps abstract synonym types were added after dynamics were added?), but perhaps I'm overlooking something.
To upload designs, you'll need to enable LFS. More information