:: Monoid_a _ => _ a -package:rebase -package:algebraic-graphs package:fixed-vector