The purely functional everything