Example of session duality and recursion in carried types.