Use annotation instead of manual check in desugar-toplevel-types