Report question

Question: Writing A Function Polymorphic In A Type Family