| 106 | | language. Two changes: as a convenience, `deriving (Lens)` will generate |
| 107 | | lenses for the fields instead of get functions. And, the # reduction will |
| 108 | | treat an argument type of `Lens a b` specially, requiring that the type of `a` |
| 109 | | being known, and looking in its module. |
| | 106 | language. Let's alter # resolution so it expects a type `Lens a b` where |
| | 107 | `a` is known, and looks in the module that defines `a`. To make nicer |
| | 108 | looking examples, I'll also assume we can write `deriving (Lens)` to |
| | 109 | make ghc generate lenses for the fields instead of get functions. |
