search

BartoszMilewski / DaoFP

The Dao of Functional Programming
303 stars 20 forks source link

Exercise question #27

Open HoshinoTented opened 1 month ago

HoshinoTented commented 1 month ago

I was stuck on this exercise in the chapter Monad: https://github.com/BartoszMilewski/DaoFP/blob/d9edec493a17d18d15a6d031d2ebbb2c16548bff/14-Monads.tex#L995-L997 and I found this discussion which says that it is impossible to find a such functor.

BartoszMilewski commented 1 month ago

This exercise probably needs rewriting. I think I might have used "equivalent" rather than "equal" because of this issue.