>>565
すまん、type constructor の事かと訊きたかった。

もしそうなら、リストとの関係は特に語ることもないよ。
type synonym において、type a のリストの type construcor を [a] と記述する構文規則になっている、ただそれだけ。

たぶん、こういう事が訊きたかったのでは無いんだらうなとは思うが、
>>565 の質問文からはこれくらいしか読み取れなかった。