値コンストラクタと型コンストラクタの違いがよくわからない。どちらも新しい型を返すのは共通で、何を引数にとるのかが異なるのか？ 型コンストラクタ：型を引数にとって新しい型を返す

ユーザに必要なだけの操作方法は提供するが、実装の詳細は隠蔽されているデータ型のことを抽象データ型と呼ぶ。