Underspecs

Enabled `-Wunderspecs`, removed `compose/1`. Please see commits for more details.