-- | This module re-exports "Data.Universe.Some" from @universe-some@ package.
module Data.Universe.DependentSum
{-# DEPRECATED "Use universe-some package directly" #-}
() where
import Data.Universe.Some ()