type checking for parameters works wooooo
functions with return statements work woooo