3 ms·
You can do Applicative -> Alternative and study Alternatives as Monoids of Applicatives and then lay on the difference between (<*>) and (<>) as producing a sem
by tel 13y ago
You can do Applicative -> Alternative and study Alternatives as Monoids of Applicatives and then lay on the difference between (<*>) and (<>) as producing a seminearring!
And then go study Monads because why not. They're kind of cool, too.
- coolsunglasses 13y agoActually you just reminded me that I need to explain sums and products in terms of a seminearring.