double-dot-with-names-out.hs

{-# LANGUAGE PatternSynonyms #-}

module ExportSyntax
  ( A (.., NoA),
    Q (F, ..),
    G (T, .., U),
  )
where

data A = A | B

pattern NoA = B

data Q a = Q a

pattern F a = Q a

data G = G | H

pattern T = G

pattern U = H