should return variable types.