Update algebra, algebra-laws to 2.7.0

[gemelen]

Re-do

• Update algebra, algebra-laws to 2.7.0 #459

[gemelen]

Ok, back to business :)
DiesSuite fails on serde tests of Diet object, specifically on all its Discrete internal objects (ie not all components of internal state of Diet are serializable by default). If Discrete trait is marked as a Serializabe, then tests pass successfully.

So, question is, are we allowed to make Discrete Serializable (I doubt so, but still want to ask)?
@danicheg @osleonard what do you think?

[johnynek]

Why wouldn't you want to mark it serializable? Java Serialization is rather broken but useful for systems that serialize closures (like spark, flink, etc...)

I would add the extends Serializable without worrying very much.

[danicheg]

If MiMa is not arguing against it, I vote to add that extends too.

[gemelen]

Why wouldn't you want to mark it serializable? Java Serialization is rather broken but useful for systems that serialize closures (like spark, flink, etc...)

I would add the extends Serializable without worrying very much.

FIrst of all because I consider Discrete as a public API (both in sense of being used by other parts in this library and by end-users), which I may not change that free.

On the other hand, if I'm too strict with this and we could make it Serializable, it makes intended upgrade easier.

[armanbilge]

If it helps, basically all the typeclasses in Cats are serializable.

https://github.com/typelevel/cats/blob/490e3cfc3dbf6dc22156fa81140f51460ac4f7ac/kernel/src/main/scala/cats/kernel/Eq.scala#L18
https://github.com/typelevel/cats/blob/490e3cfc3dbf6dc22156fa81140f51460ac4f7ac/kernel/src/main/scala/cats/kernel/Semigroup.scala#L14
https://github.com/typelevel/cats/blob/490e3cfc3dbf6dc22156fa81140f51460ac4f7ac/core/src/main/scala/cats/Invariant.scala#L15