A proper network library for Idris, now that I know what I'm doing.