3 ms·
nah, I still don't buy it. Mapping Hask to Hask is an arbitrary choice.
by jes5199 14y ago
nah, I still don't buy it. Mapping Hask to Hask is an arbitrary choice.
- nbouscal 14y agoThe part that isn't arbitrary is that monads are endofunctors, meaning they must go from a category to itself. That means that the domain and codomain are the same, which means that you must be able to wrap already-wrapped values. There's no way around that.