Constraints on type synonyms? Note that when you use a constraint like data (Num num) => Thing num = T [(Char,num)].
確定! 回上一頁