Phanの型