How to remove libghc-io-choice-dev from Debian 9 (Stretch)