deswegen nutzt er ja vorbildlich die expliziten typen