Protected namespace of the module.
Pair type constructor.
Type constructor to wrap pair of the same type.
Type constructor to wrap two types into a tuple.