Playing around with some ideas stated in 'Who's afraid of Object Algebra' (http://www.infoq.com/presentations/object-algebras)