Coalgebras as Types Determined by Their Elimination Rules - Anton Setzer (Epistemology versus Ontology, 2012)