InductiveDataType
Last edit November 19, 2008
Explained in
CoinductiveDataType