This expression is unnecessary. `introduceTopLevel` returns exactly what you need.