path: root/testsuite/tests/codeGen/should_compile/T17648.hs

{-# LANGUAGE GADTs #-}

module T17648 where

data T a where
  A :: T Int
  B :: T Bool

f :: T Int -> ()
f A = ()