问题是union不能保证返回一个有序列表：

ghci> union ["b"] ["a"]
["b","a"]

所以你需要使用一种不同的等式：

newtype SetList a = SetList [a]

instance Eq a => Eq (SetList a) where
  SetList xs == SetList ys = 
     all (`elem` ys) xs && all (`elem` xs) ys

closureUnderUnion :: [[String]] -> Bool
closureUnderUnion mp =
  all (\i -> all (\j -> SetList (union i j) `elem` map SetList mp) mp) mp

如果你的元素确实有一个Ord示例，就像你的例子中的[String]一样，那么最好的解决方案是使用一个针对集合操作优化的数据结构：

import qualified Data.Set as Set
import Data.Set (Set)

closureUnderUnion :: Set (Set String) -> Bool
closureUnderUnion mp =
  all (\i -> all (\j -> Set.union i j `Set.member` mp) mp) mp