add Foldable1#intercalate1
add lazyOptionMonoid