Examples for inductive datatypes