module Lattice where


class Eq a => Lattice a where
    join :: a -> a -> a
    bottom :: a

    joinList :: [a] -> a
    joinList = foldl join bottom