Limit visibility of implementation details #89
Description
For instance Ops contains public members self and typeClassInstance which at first glance I think could be made protected. Now self and typeClassInstance clutter the namespaces of types for which typeclass instances exist.