Index - _
| _1 | Proton.Lens, Proton |
| _2 | Proton.Lens, Proton |
| _Just | Proton.Prisms, Proton |
| _Just' | |
| 1 (Function) | Proton.Coindexed |
| 2 (Function) | Proton.Coalgebraic, Proton |
| _Left | Proton.Prisms, Proton |
| _Nothing | Proton.Prisms, Proton |
| _Right | Proton.Prisms, Proton |
| _Right' | Proton.Coalgebraic, Proton |
| _Show | Proton.Prisms, Proton |