:: Monoid_a _ => _ a package:board-games -is:exact