Orphan namespace of the module.
Type constructor of single.
Type constructor to wrap a another type into a tuple.