improved tests: generating arbitrary signal functions for verifying type class laws