Substructural recursion