Little taste of dependent types. Return type from function based on value of argument.
added the variable function type