Repo to resolve shapeless