blob: 41e84b0d39a69aa71afff494f23c7730a75c0ada (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# LANGUAGE PatternSynonyms #-}
module Test11332 ( 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
|