1 2 3 4 5 6 7
{-# LANGUAGE PatternSynonyms #-} module T12007 where data Foo a = Foo a a pattern A a1 a2 = Foo a1 a2 pattern B a1 a2 = A a1 a2