Typed functions now executing (a little)