Idris graph example