type PHP with elegance