Simplify `prelude-annotate-todo`, make it evaporate when modified
add paradox, restore ghc