@@ -141,7 +141,7 @@ resolveExports env mn imps exps refs =
141141 go (Qualified (Just mn'') name) = fromMaybe (internalError "Missing value in resolveTypeExports") $ do
142142 exps' <- envModuleExports <$> mn'' `M.lookup` env
143143 ((_, dctors'), mnOrig) <- find (\((name', _), _) -> name == name') (exportedTypes exps')
144− let relevantDctors = mapMaybe (\(Qualified mn''' dctor) -> if mn''' == Just mnOrig then Just dctor else Nothing) dctors
144+ let relevantDctors = mapMaybe (\(Qualified mn''' dctor) -> if mn''' == Just mn'' then Just dctor else Nothing) dctors
145145 return ((name, intersect relevantDctors dctors'), mnOrig)
146146 go (Qualified Nothing _) = internalError "Unqualified value in resolveTypeExports"
147147