Add shared examples for 'an abstract type'