fn ex<T: Example>() -> T