binary tree in Idris