A class for types with a default value