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