VICTOR'S PROBLEM 🌲 Invert a binary tree! 🌲 Except with 3 catches: It must invert the keys ("bit-reversal permutation") It must be a dependency-free, pure recursive function It must have type Bit -> Tree -> Tree (i.e., a direct recursion with max 1 bit state)