data NameLeaf -> type