Come desinstalare libghc-bool-extras-doc su Debian 9 (Stretch)