testsuite/tests/patsyn/should_compile/T8968-1.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE GADTs, KindSignatures, PatternSynonyms #-}
module ShouldCompile where

import Data.Kind (Type)

data X :: (Type -> Type) -> Type -> Type where
  Y :: f a -> X f (Maybe a)

pattern C :: a -> X Maybe (Maybe a)
pattern C x = Y (Just x)