haskell Simple cryptographic random related types