How to remove libghc-resource-pool-doc from Debian 9 (Stretch)