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