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