module Crypto.Classes where
    import Crypto.Types
    class BlockCipher k
    zeroIV :: (BlockCipher k) => IV k