_focused_part_to_nonempty_binary_tree | Pandora.Paradigm.Structure.Some.Binary, Pandora.Paradigm.Structure.Some, Pandora.Paradigm.Structure, Pandora.Paradigm |
_nonempty_binary_tree_to_focused_part | Pandora.Paradigm.Structure.Some.Binary, Pandora.Paradigm.Structure.Some, Pandora.Paradigm.Structure, Pandora.Paradigm |