There exists a surprising O(1) bijection between the datatype of unlabelled (planar) binary trees and 7-tuples of these trees. This presentation explores how this comes about.
Sample code at https://github.com/mjhopkins/seven-trees
Lightning talk presentation from LambdaJam 2015, Brisbane, Australia