Error

two or more packages specified (libghc-type-level-numbers-doc unknown)