Report question

Question: Why would this code complain about "the arity of the generic type definition"?