Spire scalacheck bindings.