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