Ok, this is slightly embarrasing, but I found that just doing this works: {-# LANGUAGE PatternSynonyms #-} pattern P :: Int -> [Int] pattern ...
確定! 回上一頁