Report question

Question: Why aren't type constraints part of the method signature?