JWT example in documentation incorrect

[centromere]

In the documentation the example reads:

signClaims jwk (newJWSHeader (Protected, alg)) claims

however, the type of signClaims is:

signClaims :: (MonadRandom m, MonadError e m, AsError e) => JWK -> JWSHeader () -> ClaimsSet -> m SignedJWT

In order for it to work the type would have to be:

signClaims :: (MonadRandom m, MonadError e m, AsError e) => JWK -> JWSHeader Protection -> ClaimsSet -> m SignedJWT

or the example would need to be changed to:

signClaims jwk (newJWSHeader ((), alg)) claims

[frasertweedale]

@centromere thanks for reporting!