path: root/testsuite/tests/typecheck/should_fail/T13300.hs

{-# LANGUAGE GADTs #-}
module T13300 where

data W where
  WI :: Int
  WD :: Double

data Superblock
  = A { f :: W }
  | B { f :: W }