> データの内部状態を表したり、関連のある他の型を表したりするのに使う。

な、なるほど？
A a b Char と A a b Int は同じデータコンストラクタで値を作れるけど、型は違うよ、ってことを明示できる、みたいな？？
興味深いけど、有用なシーンがパッと思いつかないっす。。