type checking is volgens mij af