students(Nil)                = Nil
students(Cons(Student(n,g,m),ms)) = Cons(n,students(ms))
students(Cons(Prof(n,p,m),ms)) = students(ms) 
