Index - _
| _1 | Principium |
| _1' | Principium |
| _2 | Principium |
| _2' | Principium |
| _3 | Principium |
| _3' | Principium |
| _4 | Principium |
| _4' | Principium |
| _5 | Principium |
| _5' | Principium |
| _6 | Principium |
| _6' | Principium |
| _7 | Principium |
| _7' | Principium |
| _8 | Principium |
| _8' | Principium |
| _9 | Principium |
| _9' | Principium |
| _Cons | Principium |
| _Empty | Principium |
| _head | Principium |
| _init | Principium |
| _Just | Principium |
| _last | Principium |
| _Left | Principium |
| _Nothing | Principium |
| _Right | Principium |
| _Snoc | Principium |
| _tail | Principium |