Frunk Laws
This library contains laws that can be used to test the implementation of algebras declared in Frunk