Index - _
| _1 | Optics |
| _1' | Optics |
| _2 | Optics |
| _2' | Optics |
| _3 | Optics |
| _3' | Optics |
| _4 | Optics |
| _4' | Optics |
| _5 | Optics |
| _5' | Optics |
| _6 | Optics |
| _6' | Optics |
| _7 | Optics |
| _7' | Optics |
| _8 | Optics |
| _8' | Optics |
| _9 | Optics |
| _9' | Optics |
| _Cons | Optics |
| _Empty | Optics |
| _head | Optics |
| _init | Optics |
| _Just | Optics |
| _last | Optics |
| _Left | Optics |
| _Nothing | Optics |
| _Right | Optics |
| _Snoc | Optics |
| _tail | Optics |