universe-dependent-sum-1.2.0.1: Universe instances for types from dependent-sum