{ eq = ./eq
, orderedGroup = ./orderedGroup
, partiallyOrderedGroup = ./partiallyOrderedGroup
}