Modern FP thinks of object oriented processes as comonadic. See http://www.haskellforall.com/2013/02/you-could-have-invented... for a good exposition.