Erik Meijer sez: hidden agenda is category theory.