Report question

Question: How to constrain one type parameter by another