Let BinaryTree k be a functor.