Remove arity inference in type declarations (#23514)
Fixed #23514 (closed)
Arity inference in type declarations was introduced
as a workaround for the lack of @k
-binders.
They were added in 4aea0a72, so I simplified all of this by simply removing arity inference altogether.
This is part of GHC Proposal #425 "Invisible binders in type declarations".