Index - _
| _1 | Papa |
| _1' | Papa |
| _10 | Papa |
| _10' | Papa |
| _11 | Papa |
| _11' | Papa |
| _12 | Papa |
| _12' | Papa |
| _13 | Papa |
| _13' | Papa |
| _14 | Papa |
| _14' | Papa |
| _15 | Papa |
| _15' | Papa |
| _16 | Papa |
| _16' | Papa |
| _17 | Papa |
| _17' | Papa |
| _18 | Papa |
| _18' | Papa |
| _19 | Papa |
| _19' | 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 |
| _GWrapped' | 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 |