We currently don't have any issues with too many AI contributed patches, so there is no immediate need to have a policy.
However, I think having an official policy would be good to avoid confusion in the future.
Since this project is closely related to GHC, it makes sense to me to adopt the GHC AI policy: https://gitlab.haskell.org/ghc/ghc/-/wikis/contributing/AI
We currently don't have any issues with too many AI contributed patches, so there is no immediate need to have a policy.
However, I think having an official policy would be good to avoid confusion in the future.
Since this project is closely related to GHC, it makes sense to me to adopt the GHC AI policy: https://gitlab.haskell.org/ghc/ghc/-/wikis/contributing/AI