Robert Kenneth SmartSpeaking appearancesRobert Smart: Functional types in a property-based hierarchy 2025-09-18 — Carlton