Currently the record uses a generic `Int` and a `List Bits8` for storing hashes. They really should be `Vect n Bits8` and the length should be the same `n`. Maybe the length field could even be removed.
Currently the record uses a generic
Intand aList Bits8for storing hashes.They really should be
Vect n Bits8and the length should be the samen. Maybe the length field could even be removed.