_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 |