How to install libghc-flexible-defaults-dev on Debian 9 (Stretch)