Type as a supplier of new instances