ContextLattice

data Context c

getFinerContexts

extractContext

propCommutative

propIdempotent

propAssociative