:: Monoid_a _ => _ a -package:rebase -package:sandwich package:vector

O(1) The empty vector.