How to remove libghc-wai-extra-doc from Debian 9 (Stretch)