I'd add a synonym for this: `type VertexRep = FieldType[vertex.type, Rep]` — it's used several times here and this shapeless `FieldType` name _in my opinion_ is a bit misleading in this context