Subclassing other types
Very high level embedding