Implement ch12/meet_some_monoids examples (in progress)