Type constructor arguments are unused at run-time

They were being marked as "direct uses", which is wrong, because type
constructors do not get compiled, so that usage information was
propagating and leaving irrelevant arguments in the code...