Error

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