We actually already have the argument types for recur - it's just another call