module Noether.Algebra.Vector.Tags where

import           Noether.Lemmata.TypeFu

data VectorLift

data UVectorLift
data BVectorLift
data SVectorLift
data MVectorLift
data SMVectorLift
data UMVectorLift