@AntC could elaborate on where type synonyms can be partially applied? AFAIK they always have to be saturated, so one has to use a newtype to ...
確定! 回上一頁