Recursive coalgebras from comonads