 CHECK: @checkSig
-- | Verify a signature.
-- #verifyRaw
checkSig ::
       (Bi a)
    => ProtocolMagic
    -> SignTag
    -> PublicKey
    -> a
    -> Signature a
    -> Bool
checkSig pm t k x s = checkSigRaw pm (Just t) k (Bi.serialize' x) (coerce s)


checkSig ::
       (Bi a)
    => ProtocolMagic
    -> SignTag
    -> PublicKey
    -> a
    -> Signature a
    -> Bool
checkSig pm t k x s = checkSigRaw pm (Just t) k (Bi.serialize' x) (coerce s)
checkSig pm t k x s = checkSigRaw pm (Just t) k (Bi.serialize' x) (coerce s)