Error

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