More strict types