Levity should be on the arrow, not on the kind

[olf]

That term is typed as (), but you are right, inside it, botUnlifted has type Int#. I spun off the discussion of such bottoms to another thread.