:: Monoid_a _ => _ a -package:base-prelude -package:base-compat-batteries package:board-games