Grammars as Optics

Consider the definition of a `Grammarr`:

```Haskell
type Grammarr a b = forall p. Grammatical p => p a a -> p b b
```

It is a simple profunctor optic. It should be possible to fit grammars into the full optics hierarchy. Even if it leads to a dead-end it would be worth exploring this avenue.