add simple Reid non-transformer monad, clean graph (empty disjoint-set) in reidGraph