rvs314

@AndyObtiva Sorry for resurrecting this, but I don't think this fixes my issue. At least, repeating the issue in `girb` causes the same error. When it starts, I get the...

> I didn't think of testing on Linux. I'm sorry about this. I will take a look when I get a chance. Thanks - let me know if there's anything...

> this completely eliminates the whole expression of `val` Why is that the case? I understand the `let` binding can be transformed to a lambda-expression, but under traditional eager evaluation...

> only _functions_ fully evaluate their arguments, not arbitrary lambda expressions. The order of argument evaluation in an application should be (observationally) the same for any (eager) expression in the...

I apologize if this is a dead issue or discussion has been moved elsewhere, but it seems like you can flatten the diamond issue (at least in the case @nickdrozd...

The idea is that types in the stdlib which can be proven to follow the appropriate laws wouldn't have a direct `Monoid` instance - they'd just have a `MonoidV` instance...