When fusing two trees, their subtrees may be just leaves, resulting in the recursive call to fuse returning a leaf.
This case does not introduce any new logic, but has to be handled in the patterns. fixes #2
minimal example where the missing case results in an error:
When fusing two trees, their subtrees may be just leaves, resulting in the recursive call to fuse returning a leaf. This case does not introduce any new logic, but has to be handled in the patterns. fixes #2
minimal example where the missing case results in an error: