Fix a levity-polymorphism error
As #19522 (closed) points out, we did not account for visible type application when trying to reject naked levity-polymorphic functions that have no binding.
This patch tidies up the code, and fixes the bug too.
As #19522 (closed) points out, we did not account for visible type application when trying to reject naked levity-polymorphic functions that have no binding.
This patch tidies up the code, and fixes the bug too.