Text this: Functional representations of semirings.