On Sat, Dec 19, 2009 at 03:29:21PM -0800, Jon Lang wrote: > What if I need to make a new type that, like junctions, > should not derive from Any, but isn't a junction? Is it that > explicitly deriving from a type that's already outside of Any (such as > Mu or junction) automatically disables the implicit Any derivation?
Yes. Pm
