Coalgebras as Types Determined by Their Elimination Rules - Anton Setzer (2012)