Feature type constructor as macro argument