How to remove libghc-data-inttrie-doc from Debian 9 (Stretch)