Could you give some favourite references, some use of category theory in ML which gives good results compared to standard approaches?

Is there a group doing this in Zurich?