Add about-phantom-type