A Snake clone in Idris