capture synonym 在 Can I capture values from a pattern synonym? - Stack Overflow 的評價 Ok, this is slightly embarrasing, but I found that just doing this works: {-# LANGUAGE PatternSynonyms #-} pattern P :: Int -> [Int] pattern ... ... <看更多>