baskell-0.1: examples/InfiniteNestedList.bs

xs = [xs];

deep = !n -> !list -> ite (eqI n 0) 
                          True 
                          (ite (null list)
                               False
                               (deep (sub n 1) (head list)));