Singleton application desugaring should be innermost.
Fix a few more signatures.