semirings and *-semirings of types in base/haskell-platform
Why do you think that https://github.com/obsidiansystems/dependent-sum is a good alternative to star
semirings and *-semirings of types in base/haskell-platform
Why do you think that https://github.com/obsidiansystems/dependent-sum is a good alternative to star