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