Skip to content

Weaken constraint on Monoid (Maybe a) instance#409

Merged
aspiwack merged 1 commit intomasterfrom
monoid-maybe
Apr 11, 2022
Merged

Weaken constraint on Monoid (Maybe a) instance#409
aspiwack merged 1 commit intomasterfrom
monoid-maybe

Conversation

@treeowl
Copy link
Copy Markdown
Collaborator

@treeowl treeowl commented Apr 11, 2022

This only needs a Semigroup constraint; with a Monoid constraint it's almost useless!

This only needs a `Semigroup` constraint; with a `Monoid` constraint it's almost useless!
@aspiwack aspiwack merged commit 3037bf9 into master Apr 11, 2022
@aspiwack aspiwack deleted the monoid-maybe branch April 11, 2022 07:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants