:: Monoid_a _ => _ a -package:Cabal-syntax -package:board-games package:effectful-core

The identity of <|>