vvalue
expandHash :: (SodiumHashAlgorithm h, MonadST m, MonadThrow m)=> proxy h-> MLockedSizedBytes (HashSize h)-> m (MLockedSizedBytes (HashSize h), MLockedSizedBytes (HashSize h))