[Haskell-cafe] universal algebra "support" in Haskell?