[dependenttypes]

I do not know about AES but I do know that it also supports Poly1305 to be used with Chacha20.