:: Monoid m => Bool -> m -> m package:ghc