Come instalare libghc-esqueleto-prof su Debian 9 (Stretch)