1.3
* DEPRECATED, use universe-some
* Data.Universe.DependentSum re-exports Data.Universe.Some
* Don't depend on dependent-sum, you should use dependent-sum >=0.7, which uses
some package