Index - _
| _1 | Papa |
| _1' | Papa |
| _2 | Papa |
| _2' | Papa |
| _3 | Papa |
| _3' | Papa |
| _4 | Papa |
| _4' | Papa |
| _5 | Papa |
| _5' | Papa |
| _6 | Papa |
| _6' | Papa |
| _7 | Papa |
| _7' | Papa |
| _8 | Papa |
| _8' | Papa |
| _9 | Papa |
| _9' | Papa |
| _Cons | Papa |
| _Empty | Papa |
| _head | Papa |
| _init | Papa |
| _Just | Papa |
| _last | Papa |
| _Left | Papa |
| _Nothing | Papa |
| _Right | Papa |
| _Show | Papa |
| _Snoc | Papa |
| _tail | Papa |
| _Unwrapped | Papa |
| _Unwrapped' | Papa |
| _Unwrapping | Papa |
| _Unwrapping' | Papa |
| _Void | Papa |
| _Wrapped | Papa |
| _Wrapped' | Papa |
| _Wrapping | Papa |
| _Wrapping' | Papa |