Provide polymorphic variant to describe which hash we use

[Calascibetta Romain]

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.

[Hannes Mehnert]

done in #150