Session details: Type inference