Also, thinking about it further, it's relatively easy to "lift" a function `String → Baz` to operate on structs like `{x: Int, y: Int, z: String}` (see Haskell'

Also, thinking about it further, it's relatively easy to "lift" a function `String → Baz` to operate on structs like `{x: Int, y: Int, z: String}` (see Haskell's Lens), but it's not really possible to do it the other way.