Checks at compile time whether type `T` (aggregate or enum) has the `serdeAlgebraicAnnotation` user-defined attribute.
Checks at compile time whether type `T` (aggregate or enum) has the `serdeAlgebraicAnnotation` user-defined attribute.