Linear.V

data V n a

int

dim

class Dim n

reifyDim

reifyVector

fromVector