universe-dependent-sum-1.3: src/Data/Universe/DependentSum.hs

-- | 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 ()