Minimal graph model implementation in Idris.