The term "object algebra" is already in use. We should IMO move to a different term, e.g., "processobjects". See this recent presentation in Kiev: [From Object Algebras to Finally Tagless Interpreters](https://oleksandrmanzyuk.wordpress.com/2014/06/18/from-object-algebras-to-finally-tagless-interpreters-2/). [Via this tweet.](https://twitter.com/debasishg/status/766346468911263744)