
26 Jan
2016
26 Jan
'16
9:52 a.m.
.. another safety net: module-local instance could be defined only for module-local (non-exported) types. Would this not offer what you are looking for, without breaking instance consistency?