diff --git a/crates/distribution-types/src/any.rs b/crates/distribution-types/src/any.rs
index 562a63754..7d36a8848 100644
--- a/crates/distribution-types/src/any.rs
+++ b/crates/distribution-types/src/any.rs
@@ -5,7 +5,7 @@ use crate::installed::InstalledDist;
 use crate::traits::Metadata;
 use crate::{Dist, VersionOrUrl};
 
-/// A distribution which either exists remotely or locally.
+/// A distribution which is either installable, is a wheel in our cache or is already installed.
 #[derive(Debug, Clone)]
 pub enum AnyDist {
     Remote(Dist),
diff --git a/crates/distribution-types/src/cached.rs b/crates/distribution-types/src/cached.rs
index 6f62d4ebf..456bfa77d 100644
--- a/crates/distribution-types/src/cached.rs
+++ b/crates/distribution-types/src/cached.rs
@@ -11,7 +11,7 @@ use puffin_normalize::PackageName;
 
 use crate::direct_url::DirectUrl;
 
-/// A built distribution (wheel) that exists in a local cache.
+/// A built distribution (wheel) that exists in the local cache.
 #[derive(Debug, Clone)]
 pub enum CachedDist {
     /// The distribution exists in a registry, like `PyPI`.
diff --git a/crates/distribution-types/src/installed.rs b/crates/distribution-types/src/installed.rs
index 6fcfa3870..0d65c31c8 100644
--- a/crates/distribution-types/src/installed.rs
+++ b/crates/distribution-types/src/installed.rs
@@ -9,7 +9,7 @@ use pypi_types::DirectUrl;
 
 use crate::{Metadata, VersionOrUrl};
 
-/// A built distribution (wheel) that exists in a virtual environment.
+/// A built distribution (wheel) that is installed in a virtual environment.
 #[derive(Debug, Clone)]
 pub enum InstalledDist {
     /// The distribution was derived from a registry, like `PyPI`.
diff --git a/crates/distribution-types/src/lib.rs b/crates/distribution-types/src/lib.rs
index 06f205ac8..632632170 100644
--- a/crates/distribution-types/src/lib.rs
+++ b/crates/distribution-types/src/lib.rs
@@ -1,3 +1,41 @@
+//! ## Type hierarchy
+//!
+//! When we receive the requirements from `pip-sync`, we check which requirements already fulfilled
+//! in the users environment ([`InstalledDist`]), whether the matching package is in our wheel cache
+//! ([`CachedDist`]) or whether we need to download, (potentially build) and install it ([`Dist`]).
+//! These three variants make up [`AnyDist`].
+//!
+//! ## `Dist`
+//! A [`Dist`] is either a built distribution (a wheel), or a source distribution that exists at
+//! some location. We translate every PEP 508 requirement e.g. from `requirements.txt` or from
+//! `pyproject.toml`'s `[project] dependencies` into a [`Dist`] by checking each index.
+//! * [`BuiltDist`]: A wheel, with its three possible origins:
+//!   * [`RegistryBuiltDist`]
+//!   * [`DirectUrlBuiltDist`]
+//!   * [`PathBuiltDist`]
+//! * [`SourceDist`]: A source distribution, with its four possible origins:
+//!   * [`RegistrySourceDist`]
+//!   * [`DirectUrlSourceDist`]
+//!   * [`GitSourceDist`]
+//!   * [`PathSourceDist`]
+//!
+//! ## `CachedDist`
+//! A [`CachedDist`] is a built distribution (wheel) that exists in the local cache, with the two
+//! possible origins we currently track:
+//! * [`CachedRegistryDist`]
+//! * [`CachedDirectUrlDist`]
+//!
+//! TODO(konstin): Track all kinds from [`Dist`]
+//!
+//! ## `InstalledDist`
+//! An [`InstalledDist`] is built distribution (wheel) that is installed in a virtual environment,
+//! with the two possible origins we currently track:
+//! * [`InstalledRegistryDist`]
+//! * [`InstalledDirectUrlDist`]
+//!
+//! Since we read this information from [`direct_url.json`](https://packaging.python.org/en/latest/specifications/direct-url-data-structure/), it doesn't match the information [`Dist`] exactly.
+//!
+//! TODO(konstin): Track all kinds from [`Dist`]
 use std::path::{Path, PathBuf};
 use std::str::FromStr;
 
@@ -39,12 +77,16 @@ impl std::fmt::Display for VersionOrUrl<'_> {
     }
 }
 
+/// Either a built distribution, a wheel, or a source distribution that exists at some location
+///
+/// The location can be index, url or path (wheel) or index, url, path or git (source distribution)
 #[derive(Debug, Clone)]
 pub enum Dist {
     Built(BuiltDist),
     Source(SourceDist),
 }
 
+/// A wheel, with its three possible origins (index, url, path)
 #[derive(Debug, Clone)]
 #[allow(clippy::large_enum_variant)]
 pub enum BuiltDist {
@@ -53,6 +95,7 @@ pub enum BuiltDist {
     Path(PathBuiltDist),
 }
 
+/// A source distribution, with its three possible origins (index, url, path, git)
 #[derive(Debug, Clone)]
 #[allow(clippy::large_enum_variant)]
 pub enum SourceDist {