Cats laws for Scala.js 1.3, providing law-checking utilities for functional programming abstractions.