Curry.ExtendedFlat.UnMutual
unMutualProg