Talk:Inductive data type