semirings and *-semirings of types in base/haskell-platform - View it on GitHub