Smart types code examples