Provide polymorphic variant to describe which hash we use

[dinosaure]

Even if it's interesting to use GADT here, at some point, it can be painful to use them along a big project. So we probably should also add a polymorphic variant.

[hannesm]

done in #150