adding an intro + autoCurrying everything that makes sense