PatternSynonymsは、その名の通り、パターンの別名である。GHC 7.8.1 で導入された。GHC 7系のPatternSynonymsは、モジュール内に閉じて入れば何の問題もなかったが、モジュールの外へexportする際は、patternキーワードが必要であり、構成子らしくなかった。

{-# LANGUAGE PatternSynonyms #-} module A (Foo, pattern Zero) where newtype Foo = Foo Int pattern Zero :: Foo pattern Zero = Foo 0

GHC 8 からは、patternキーワードが不要となり、構成子らしくなった。

{-# LANGUAGE PatternSynonyms #-} module A (Foo(Zero)) where newtype Foo = Foo Int pattern Zero :: Foo pattern Zero = Foo 0