:: Monoid_a _ => _ a package:fixed-vector