newtypesCompose :: Newtypes -> Newtypes -> Newtypes 
newtypesCompose (Newtypes m1) (Newtypes m2) 
  = Newtypes (M.union m2 m1)
newtypesCompose :: Newtypes -> Newtypes -> Newtypes
newtypesCompose (Newtypes m1) (Newtypes m2) 
  = Newtypes (M.union m2 m1)
newtypesCompose (Newtypes m1) (Newtypes m2) 
  = Newtypes (M.union m2 m1)