型シノニム（type synonym）とは，既存のデータ型に別名をつけるというもの。String が [Char] であるのがよい例。
型シノニムを宣言するには type 宣言を使う。
type String = [Char]
newtype 宣言は「新しい型」を宣言する。type 宣言と data 宣言の中間的なもので，実体は既存の型とおなじであっても，元の型とは違う扱いをしたい，という場合に使うらしい。たとえば「実体は整数だが負の値は取らない」みたいな。
でもこれ，具体的な宣言の仕方が書いてない。まあ，あまり使わないのかな。