implement Show instance for Dag
derive ShowF for examples