Coalgebras_as_Types