universe-dependent-sum-1.3: Universe instances for types from dependent-sum
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Universe.DependentSum

Description

Deprecated: Use universe-some package directly

This module re-exports Data.Universe.Some from universe-some package.