@@ -113,7 +113,7 @@ addUnion :: ModuleName.Canonical -> Env.Exposed Env.Type -> Valid.Union -> Resul
113113addUnion home types union@(Valid.Union (A.At _ name) _ _) =
114114 do arity <- checkUnionFreeVars union
115115 let one = Map.singleton home (Env.Union arity home)
116− Result.ok $ Map.insertWith Map.union name one types
116+ Result.ok $ Map.insert name one types
117117
118118
119119
@@ -136,7 +136,7 @@ addAlias env@(Env.Env home vs ts cs bs qvs qts qcs) scc =
136136 do args <- checkAliasFreeVars alias
137137 ctype <- Type.canonicalize env tipe
138138 let one = Map.singleton home (Env.Alias (length args) home args ctype)
139− let ts1 = Map.insertWith Map.union name one ts
139+ let ts1 = Map.insert name one ts
140140 Result.ok $ Env.Env home vs ts1 cs bs qvs qts qcs
141141
142142 Graph.CyclicSCC [] ->
@@ -273,7 +273,7 @@ addCtors (Valid.Module _ _ _ _ _ _ unions aliases _ _) env@(Env.Env home vs ts c
273273 (Dups.unions (map snd unionInfo))
274274 (Dups.unions (map snd aliasInfo))
275275
276− let cs2 = Map.unionWith Map.union cs ctors
276+ let cs2 = Map.union ctors cs
277277
278278 Result.ok
279279 ( Env.Env home vs ts cs2 bs qvs qts qcs