Adds a template for testing monad laws.