Protected namespace of the module.
Type constructor of many.
Type constructor to wrap a another type into a tuple.