append :: Message a -> Message a -> Message a append x y = coerce $ (coerce @_ @ByteString x) ++ (coerce @_ @ByteString y)