Testing literal types