shuffle modules: put FunGraph and Reify into Algorithm/