[Haskell-cafe] seeking paper: Computing with lattices: An application of type classes