    Traversable (traverse, sequenceA),
    for,
    fmapDefault, foldMapDefault,
    -- * Data.Traversable.WithIndex
    TraversableWithIndex (..), ifor,
    -- * Data.Type.Equality
    (:~:) (..),
    -- * Data.Universe.Class
    Universe (..), Finite (..),
    -- * Data.UUID.Types
    UUID,
    -- * Data.Void
    Void, absurd,
    -- * Data.Word