newtypesExtend :: Name -> DataInfo -> Newtypes -> Newtypes
newtypesExtend name info (Newtypes m)
  = Newtypes (M.insert name info m)
newtypesExtend :: Name -> DataInfo -> Newtypes -> Newtypes
newtypesExtend name info (Newtypes m)
  = Newtypes (M.insert name info m)
newtypesExtend name info (Newtypes m)
  = Newtypes (M.insert name info m)