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