Can you make this be `BinomialTree<a>`, and use `a` for the type of `val`, so we can try to type-check it?