Monoid Instance for FingerTree?

[solomon-b]

Is there any reason not to include a monoid instance for FingerTree?

instance monoidFingerTree :: (Monoid v, Measured a v) => Monoid (FingerTree v a) where
  mempty = Empty

[hdgarrood]

That seems fine, especially since the Semigroup instance is already there. I think the most likely explanations are either that I wrote this before Monoid was in Prelude and I couldn't be bothered to add the dependency initially, and/or that I've not found a use for it.

[solomon-b]

Sorry for the slow reply. Its not strictly necessary but it is nice to have for the sake of completeness.