Lattice structure in Haskell