test augmenting types