Implemented `all`, `any`, `takeWhile` in recursive form