Curry 3.5