Redirecting to Recursive categorical syntax