Re:Monads are monoids in the category of endofunctors
by dwohnitmok on Thursday September 09, 2021 @09:27PM
(#28476762)
In theory you could have something like
Although this fulfills the contract of `Mappable`, it's not a `Functor`, because `map(identity)` doesn't always return the same (or equivalent) `MyWeirdMappable`.
[ Parent
| on HN ]
There are no comments on this comment yet.