我知道我可以为类型创建同义词，例如：
type ListToArray a e = [e] -> a Int e
我还读到约束类型仍然是一种类型，所以我想我也可以为其创建一个同义词：
type (Data.Array.IArray.IArray a e) => ListToArray a e = [e] -> a Int e
然而 GHC 抱怨道：
parse error on input '=>'
GHC 是否支持约束类型的同义词？