DES implementation in Idris