1 2 3 4 5 6
{-# LANGUAGE PatternSynonyms #-} module Foo ( A(x, x) ) where data A = A Int pattern Pattern{x} = A x