issue 'curry' fixed; unfold modified