add lazyOptionMonoid