Implemented recursive application operator