singletonAdditive ::
     Rig a
  => Vector a -> LeftTransformation a
singletonAdditive = singleton MS.one
singletonAdditive ::
     Rig a
  => Vector a -> LeftTransformation a
singletonAdditive = singleton MS.one
singletonAdditive = singleton MS.one