fix compose#laws parameter type