Heh, nice idea. Seems a long way off though. GHC semi-recently took a baby step in this direction by adding PartialTypeSignatures, although it emits a warning if you actually use them!

This makes sense on its own, but seems a bit silly when we consider that completely removing the signature will fix the warning ;)