> What you really want is a way to generically express behaviors of an abstraction in a way that can be automatically tested. The pure FP ecosystems in Scala o

> What you really want is a way to generically express behaviors of an abstraction in a way that can be automatically tested. The pure FP ecosystems in Scala often accomplish this in the form of "laws", which are essentially bundles of pre-made unit tests that they ship alongside their core abstraction libraries.