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