dev-haskell/dependent-sum
Dependent sum type
Runtime Dependencies
dependent-sum-0.7.2.0
>=dev-haskell/constraints-extras-0.2:=[profile?
]
<dev-haskell/constraints-extras-0.5:=[profile?
]
>=dev-haskell/some-1.0.4:=[profile?
]
<dev-haskell/some-1.0.7:=[profile?
]
>=dev-lang/ghc-9.0.2:=
dev-lang/ghc:=[profile?
]