These are chat archives for non/algebra
A, i can construct a
def combine(x: Option[A], y: Option[A]): Option[A] = x orElse y
Map[K, V]when defining
stdmodule i was imagining these as just being primarily for testing or defaults. but if we expect folks to use them in anger (which is the new understanding i have) then obviously we need to be careful about this.
y orElse x... and of course it could exist without the Option, too... I think of this as a
stdor not but they are totally reasonable instances to have somewhere
MonoidK[F]you can combine
F[A]values for any
stdinstances is fine
package object x extends XInstancesvs
object x extends XInstances?