functor (Dim : Dimension-> V