combs-as-final-coalgebras