testsuite/tests/gadt/T19847b.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE TypeAbstractions, GADTs #-}

module T19847b where

import Data.Kind

data T (a :: Type) b where
  MkT4 :: forall a b. b ~ a => T a b

foo x = (case x of MkT4 @Bool ->  ()) :: ()