:: Monoid_a _ => _ a -package:mtl package:board-games