Example: Object Algebra pattern represents data types ("nouns") as functions.