Ein Typsystem ist doch keine Methode, oder? Was ist ein Effektsystem? --Martinschneider 23:16, 23. Apr. 2010 (CEST)