Ichoran/scala-collection-laws not found