Skip to content

Remove Store f :: s -> Store f s#403

Open
ktgw0316 wants to merge 1 commit intohmemcpy:masterfrom
ktgw0316:remove_Store_f
Open

Remove Store f :: s -> Store f s#403
ktgw0316 wants to merge 1 commit intohmemcpy:masterfrom
ktgw0316:remove_Store_f

Conversation

@ktgw0316
Copy link
Copy Markdown
Contributor

@ktgw0316 ktgw0316 commented Mar 9, 2026

…as partially applied data constructor:
Store f :: s -> Store f s”

The author has deleted this part from the original blog post. Please see the following comment by Ihor Orobchuk for an explanation:
https://bartoszmilewski.com/2017/01/02/comonads/#comment-88182

@drupol drupol requested a review from BartoszMilewski March 9, 2026 13:54
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.

1 participant