This module contains the most complex types in the codebase, so this is
useful as a reference for how to handle more complex cases.