functor
(
Dim
:
Dimension
)
->
V