Add binaryTree example

Complete with Functor instance!