Is it not possible to have a "type" type?

Reply via email to