OH: "As an aside I think maybe the scalaz law rule is a bit of a fetish."
-
@seanparsons@retronym suggested reintroducing Zero as Default, and implicit Monoid[A] => Default[A]. But not Monoid[A] <: Default[A].
@nuttycom @seanparsons @retronym Default has different laws to Monoid/Zero and so is distinct.
-
-
@dibblego@seanparsons@retronym thinking about this, I believe that Default[A] is simply Id[A]. We're merely missing some identities.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.