Example requires type checking now