Make two type defaults explicit