The definition of the pattern synonym is correct; it is the type which is wrong. The correct type is pattern OnlyRecord :: () => (rs ~ '[s ...
確定! 回上一頁