Report question

Question: How to ensure that the template parameter is a subtype of a desired type?