The `lake build` in the CI fails due to a version incompatibiility with SlimCheck. The package builds locally, however.