In the example playground, I worked around the any issue, but would still need to compose the true check permission as the output of multiple checkPermissions.