blob: a0e3285a4bd883444d2033d46584682024d6690d (
plain)
1
2
3
4
5
6
7
8
9
|
{-# LANGUAGE GADTs, KindSignatures, PatternSynonyms #-}
module ShouldCompile where
data X :: (* -> *) -> * -> * where
Y :: f a -> X f (Maybe a)
pattern C :: a -> X Maybe (Maybe a)
pattern C x = Y (Just x)
|