Diagrams.Core.V
type family
V
a :: *