WebSharper

If you define a Stub classe with a base class, currently it generates a WS class, hiding outside one that the stub is attempting to interface with.