Exercise 27 Implement allPossibleTrees from Exercise 24 using control-monad-omega and monad comprehensions.