Simple XML ADT for Idris