not lambdas, predictable projections between data types
not lambdas, predictable projections between data types