Closed idcmardelplata closed 7 years ago
Are you imagining something like join :: Chain m => m (m a) -> m a
, @idcmardelplata?
As it is, I do not understand why the types do not have method join.
join
can be derived from chain
. In my view we're better off defining join
once and for all than having dozens of authors add join
methods to their algebraic data types.
@davidchambers As such, I think the same as you
I think it would be good for the types to have a join method. Here is a simple implementation.
Obviously used like this: