From RFC 9180 A.1

>>> let key = "\x45\x31\x68\x5d\x41\xd6\x5f\x03\xdc\x48\xf6\xb8\x30\x2c\x05\xb0" :: ByteString
>>> let nonce = "\x56\xd8\x90\xe5\xac\xca\xaf\x01\x1c\xff\x4b\x7d" :: ByteString
>>> let aad = "\x43\x6f\x75\x6e\x74\x2d\x30" :: ByteString
>>> let plain = "The quick brown fox jumps over the very lazy dog." :: ByteString
>>> let proxy = Proxy :: Proxy AES128
>>> sealA proxy key nonce aad plain >>= openA proxy key nonce aad
Right "The quick brown fox jumps over the very lazy dog."

From RFC 9180 A.6

>>> let key = "\x75\x1e\x34\x6c\xe8\xf0\xdd\xb2\x30\x5c\x8a\x2a\x85\xc7\x0d\x5c\xf5\x59\xc5\x30\x93\x65\x6b\xe6\x36\xb9\x40\x6d\x4d\x7d\x1b\x70" :: ByteString
>>> let nonce = "\x55\xff\x7a\x7d\x73\x9c\x69\xf4\x4b\x25\x44\x7b" :: ByteString
>>> let aad = "\x43\x6f\x75\x6e\x74\x2d\x30" :: ByteString
>>> let plain = "The quick brown fox jumps over the very lazy dog." :: ByteString
>>> let proxy = Proxy :: Proxy AES256
>>> sealA proxy key nonce aad plain >>= openA proxy key nonce aad
Right "The quick brown fox jumps over the very lazy dog."

From RFC 9180 A.5

>>> let key = "\xa8\xf4\x54\x90\xa9\x2a\x3b\x04\xd1\xdb\xf6\xcf\x2c\x39\x39\xad\x8b\xfc\x9b\xfc\xb9\x7c\x04\xbf\xfe\x11\x67\x30\xc9\xdf\xe3\xfc" :: ByteString
>>> let nonce = "\x72\x6b\x43\x90\xed\x22\x09\x80\x9f\x58\xc6\x93" :: ByteString
>>> let aad = "\x43\x6f\x75\x6e\x74\x2d\x30" :: ByteString
>>> let plain = "The quick brown fox jumps over the very lazy dog." :: ByteString
>>> let proxy = Proxy :: Proxy CCP.ChaCha20Poly1305
>>> sealA proxy key nonce aad plain >>= openA proxy key nonce aad
Right "The quick brown fox jumps over the very lazy dog."