Error if @AutomaticJsonCodec &c are used on a type-parameterized class