Reading list: type design