diff --git a/fadno.cabal b/fadno.cabal
--- a/fadno.cabal
+++ b/fadno.cabal
@@ -1,7 +1,7 @@
 name:                fadno
 category:            Music
 synopsis:            Minimal library for music generation and notation
-version:             1.1.2
+version:             1.1.3
 homepage:            http://github.com/slpopejoy/fadno
 description:         Provides the Note type and HasNote class with polymorphic pitch and duration representations,
                      metering, barring and time signature utilities, plus midi and MusicXML support.
@@ -31,22 +31,22 @@
                      , HUnit >= 1.5
                      , base >= 4.9 && < 4.13
                      , containers >= 0.5
-                     , comonad >= 5 
+                     , comonad >= 5
                      , data-default >= 0.7
-                     , deepseq >= 1.4 
+                     , deepseq >= 1.4
                      , event-list >= 0.1
                      , fadno-braids >= 0.1
                      , fadno-xml >= 1.1
-                     , lens >= 4.15 
+                     , lens >= 4.15
                      , midi >= 0.2
-                     , mtl >= 2.2 
+                     , mtl >= 2.2
                      , process >= 1.4
                      , safe >= 0.3
                      , split >= 0.2
                      , text >= 1.2
-                     , unordered-containers >= 0.2 
-                     , vector >= 0.12 
-                     , xml >= 1.3 
+                     , unordered-containers >= 0.2
+                     , vector >= 0.12
+                     , xml >= 1.3
   hs-source-dirs: src
   default-language:    Haskell2010
 
diff --git a/src/Fadno/Notation.hs b/src/Fadno/Notation.hs
--- a/src/Fadno/Notation.hs
+++ b/src/Fadno/Notation.hs
@@ -17,6 +17,7 @@
 module Fadno.Notation where
 
 import GHC.Generics
+import Data.Semigroup
 import Data.String
 import Data.Default
 import Fadno.Note
@@ -247,6 +248,7 @@
     a <> b = over bNotes (<> view bNotes b) a
 instance Monoid (Bar n) where
     mempty = def
+    mappend = (<>)
 
 -- | Bar smart ctor, used in 'Show'.
 bar :: [n] -> Bar n
diff --git a/src/Fadno/Note.hs b/src/Fadno/Note.hs
--- a/src/Fadno/Note.hs
+++ b/src/Fadno/Note.hs
@@ -26,6 +26,7 @@
 import Control.Lens
 import Control.Arrow
 import Data.Ratio
+import Data.Semigroup
 import GHC.Generics (Generic)
 import Data.Traversable
 import Data.Function
@@ -79,6 +80,8 @@
     (M a) <> (M b) = M (a + b)
 instance Num p => Monoid (Mono p) where
     mempty = Rest
+    mappend = (<>)
+
 -- | Mono/Maybe isomorphism.
 maybeMono :: Iso' (Maybe a) (Mono a)
 maybeMono = iso toMono toMaybe