dotty-staging/shapeless not found