[Haskell-cafe] Fixed points

[Felipe Almeida Lessa]

Something like this?

  equivalenceClosure = fix $ \f e ->
    let e' = reflexivity . symmetry . transitivity $ e
    in if e' == e then e else f e'

Cheers,

-- 
Felipe.