* src/Salsa20.hs: Pure specification