Tweaked Flatten in Push.hs and PushFS