Recursive Coalgebras from Comonads ' $Recursive coalgebras from comonadsVenanzio Capretta (U. of Ottawa)Tarmo Uustalu (Inst. of Cybernetics, Tallinn)Varmo Vene (U. of Tartu)Braga, 23 Jan. 2006& 1 % ' $Motivation