Typechecking function calls correctly it seems :)