fingerTreeMonoid