Hey Agda peeps! Do you know an implementation of directed graphs and checking for cycles in Agda? If not, I'm maybe going to have to build it.