semilattices (hackage): Join- and meet-semilattices, with optional upper and lower bounds, and a variety of instances for each.
Keywords: algebra|bsd3|data|data-structures|library|math