Using Effect-TS for ABAC Permissions in a Compliant App

i'm still learning a lot, but i'm deeply interested in using effect-ts in a heavily compliant app which uses ABAC permissions. similar to Errors, am I able to toss permissions like ["INSERT_USER", "EDIT_USER"] in the Requirements section?