Subclassing OpΒΆ