Moved Vector' definition to Array/Lifted.hs