Re: Type instantiation for `==` func

[mratsim]

I don't see a reason why it would fail to compile.

Can you also add your BBTree and isSubSet type declaration so that we can 
reproduce a minimal working example?