data HMAC : Type -> Type
MkHMAC : List Bits8 -> algo -> HMAC algo
Hash algo => Digest (HMAC algo)
Hash algo => MAC (List Bits8) (HMAC algo)