How to install libghc-oo-prototypes-dev on Debian 9 (Stretch)