Define types at both compile and run time