Linear.V
data V n a
int
dim
class Dim n
reifyDim
reifyVector
reifyDimNat
reifyVectorNat
fromVector
class Finite v
_V
_V'