+ Lazy as instance of Monoid.