inductive types : first test