A Tale on Semirings (2018)

One very interesting thing I’d like to point out is that we can form a homomorphism from types to their number of possible inhabitants. Surely, the only thing we’d have to change is going from a product type to a sum type:

Pretty interesting so far, can we top this and add identities to make s? Since we gave the lower kinded versions of these type classes symbolic operators, why don’t we do the same thing for ?

Source: typelevel.org